Stop using GIFs for animated avatars and banners

Since there are more compact animation storage formats, it is worth using them. For example, webp or mp4.