Allow to call LTSmin/TLC/parB model checker in the verification view

Allow to call external model checking backends such as:

• TLC

• LTSmin-ProB

• parB

LTSmin would be the equivalent of e.g. probcli -mc_with_lts_seq on the current file and replay counter example in case a counter example is found.