Executed files are not inputs
Accepts files in /tmp as outputs

There is already a check that the file exists at the end of the run.

This is useful at least for our own tests.
Adds 'chroot upload' test
Factors FileUploader
Fixes indentation of input/output files in 'info'
Renames 'package' -> 'software package' in 'info'

The distinction between 'pack' and 'package' is confusing.
Adds 'chroot download' test
Don't fail on C coverage reports
Factors FileDownloader
Merge branch 'factor-upload-download' into 'master'
Improves SSH terminal emulator
Runs selected command via 'vagrant run'

Running commands via 'vagrant run' no longer uses the 'script.sh' file.

'run' now take the run number as parameter, so you can select which
command to run. Defaults to 0 if there is only one, and selects every
run if not specified and --cmdline is not used.

The --cmdline option allows to view the command-line of the selected run
(if passed without arguments) or to specify a new one. The uid/gid and
working directory of the original run are kept.
Don't use script.sh in 'chroot' or 'directory'

Similarly to 'vagrant', we no longer generate the 'script.sh' files. Run
takes the run number as parameter, with the same sensible defaults.
--cmdline is also similar.
Merge branch 'master' into 'docker'
Implements 'docker run'
Adds functional test for docker