Change movie names
Do not mute *all* sound when playing Intro video in options menu

Since our WebM video sound volume is controlled via the sound settings, we do not want GUI sound muted. It is already done this way in xOpeningSequence.
Merge pull request #89 from Mystler/webm

WebM movies