os-autoinst/os-autoinst — pull request #126 by coolo (2014-11-27 18:26:42+00:00)
Title: 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