change source to Java 1.7, with Java 1.4 bytecode

This allows using autoboxing and other Java 5 features, while still producing Java 4 bytecode, as required by the JiST bytecode rewriter.
fix option parsing in JiST Main

Parsing the arguments including the simulation class prevented the debugging options from being recognized. This strips the simulation classe before parsing the arguments.