[WIP] Run the main of commands outside the initialization of the module
I believe it would be less problematic to run the code of the commands outside the initialization of their module. For example backtrace are not printed otherwise. I don't know yet why. I have converted only why3prove currently.