live video encoding
Merge pull request #125 from os-autoinst/live_video_encoding

live video encoding
rename start.pl to isotovideo

now that the video is encoded live, we don't need the isotovideo wrapper
anymore. As isotovideo is the nicer name than start.pl, I just renamed it
Merge pull request #126 from os-autoinst/live_video_encoding

rename start.pl to isotovideo