Merge improvements for Java development

Improvements:

• Support for assert.prp from SV-COMP.
• Source directories can now be given as the main command-line arguments instead of with -classpath/-sourcepath. This makes it possible to directly use tasks defined in task-definition files and BenchExec.
• Rename variables if more than one variable has the same name in a function (in different blocks).
• Support for class-literal expressions.
• When referencing types from the JDK (like String), a proper type instance is created (using the class from the JVM that CPAchecker is running in) instead of an unspecified type.
• New type JReferenceType correctly allows handling all kinds of reference types (including arrays).
• Store correct order of fields in a class.