change group
Merge branch 'master' of github.com:wysiib/ProverEvaluationPlugin
fix eclipse project
files by eclipse
ignore files generated by gradle/mvn/tycho
add dependency
move readme to top-level
fix classpath