Scaladocs and a  few structures added to Theory.
ad hoc build file
Wrapper for CoreNLP, including testing the use with ParseProse to go from text to formula