A small PHP library to generate an FFMPEG code for HTML5 video generation