[OpenTypeTerm] Checking the version of ocaml from distant worker

[VincentCheval]

When using distributed computation with a distant server, we should try to check whether the distant Deepsec has the same version and same ocaml version as the local one.