Convert WebM to MP4

Turn WebM videos into MP4 that plays everywhere.