current MANIFEST
Added a flag that shows if a theory was used
some refactoring in Theories
made dependency to theories optional (first step)
Some refactorings in the translator, moved duplicated code to super class
minor refactoring
Added handling for missing theory plugin