A command line tool for converting videos using PHP and FFMpeg