removed stuff

also, updated requirement on ocaml
parse constants in topl automata

... using the jimple parser for expressions
Merge remote-tracking branch 'origin/alt-abd' into alt-abd

Conflicts:
	src/topl/toplPreprocessor.ml