Shell script to encode video appropriate for HTML5 embedding