add de.prob.theorymapping to dependencies
add theory mapping to class path and manifest