added the .ogv extension to the video/ogg mimetype in case GH servers don't already do it for us
did the same for mp4