Don't set TRAILSTKSIZE and PROLOGINCSIZE envvars for probcli process

probcli already sets these variables on its own (in SU_initialize.c).

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

@@ -105,8 +105,6 @@ public final class CliStarter {
 
 		final ProcessBuilder pb = new ProcessBuilder();
 		pb.command(command);
-		pb.environment().put("TRAILSTKSIZE", "1M");
-		pb.environment().put("PROLOGINCSIZE", "50M");
 		pb.environment().put("PROB_HOME", osPath);
 		try {
 			prologProcess = pb.start();