a shell script to automate video encoding for HTML5