bash script to convert any video to html5