delete obsolete build file, should be handled by main build.gradle
bump required parser version to 2.4.17-SNAPSHOT
added support for simple theory mapping files
use eclipse compatible version numbers
add disprover feature
use parser version 2.4.18-SNAPSHOT
re-add file to check if it fixes jenkins build
update class path and manifest to include new parser version
add de.prob.theorymapping to dependencies
add theory mapping to class path and manifest
Merge branch 'develop' into feature/disprover