[tools] Rework initialization code
[tools] Rework initialization code

With OCaml 4.07, the initialization code wasn't properly setup meaning that
the standalone application failed to start properly. This has been fixed.

mwb-cde/hseq-prover