Revert "Don't set PROB_HOME envvar for probcli process"

Doesn't work with the default pre-compiled probcli distribution.

This reverts commit 0cb52c92.

de.prob.core/src/de/prob/cli/CliStarter.java

@@ -105,6 +105,7 @@ public final class CliStarter {
 
 		final ProcessBuilder pb = new ProcessBuilder();
 		pb.command(command);
+		pb.environment().put("PROB_HOME", osPath);
 		try {
 			prologProcess = pb.start();
 		} catch (IOException e) {