version bump

print geteta error messages on stderr

Preparing 1.2.0

* tag: v1.2.0-beta
* version is included in the jar file name
* change "courier" to monospace
* clean up and simplifications

removed view menu item

closes #2

Merge remote-tracking branch 'Gitlab/master'

Merge branch 'development' of https://git.scc.kit.edu/peese/stverific…

…ationstudio into development

Merge branch 'development' of https://git.scc.kit.edu/peese/stverific…

…ationstudio into development