PROBCORE-643 Reintroduced RemoteEvaluation, but it might be a good idea to pull this into the EvalB project itself because it requires the probcliparser.jar file which is not in the ProB home by default.