Annotation extraction outsourced

- Extraction of the Annotations and the creation of the environment
before the security analysis
- Changed test cases (old test cases will not succeed with the new
analysis process, because e.g. for void methods no longer a return
security level annotation is required)
- Attention: whole-program analysis - i.e. the analyzed class must have
a public static void main method and also the arguments for invoking
the analysis have changed: additionally „-W“