Added a main file to launch a proof on a DSL format. Not finished
Cleared the ModelChecker class. Removed the Tree Display