move printProlog to interface in order to write a command that takes both classical B and Event-B as an input
use the code taken from the ast instead of the user input (to remove comments, etc.)
first command for unsat core computation and simple test case
Merge branch 'develop' of github.com:bendisposto/prob2 into develop