repair POM generation using afterEvaluate
Fix version information in README.md
Version 2.8.0 of the KeY-System. Released in Dec, 2020
First time code in KeY proven with KeY by Mattias Ulbrich
set version to 2.8.0
Merge branch 'kueblerBsumTaclets' into 'master' Add bsum taclets. See merge request key/key!96
Minor bugfixes for test case generation.
Eclipse projects: Updated license headers