Bash script to convert videos to HTML5 (webm/mp4/ogg)