Do gif->video conversion to save space

[edenman]

GIFs are huge. Figure out a video format to use and do on-the-fly conversion (maybe push this out to a server so the clients don't download the huge original files?)

[edenman]

very related to #4