ProB cli invocation from LSP requires Event-B->Prolog conversion

[evdenis]

We can't call probcli on EventB models directly. First, we need to convert them to Prolog form. This can be done with ProB plugin libraries or with eventb-animate info -b call (which uses ProB libraries).