PlosemoProver: test 100%, completed 90% +
still need to translate result to the right AnswerLanguage
added command line option for scala interperter to explicitly define the pom.xml directory