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