Added ability to add VM options. Jasmin files are now removed by default, an option allows them not to be deleted. Modified version number.
Fixed a bug where Jasmin execution would not start because the command line arguments were too long.