Added specific launcher for KTH experiments.

Need some polish from Anne to make sure the current mapping to options makes sense. Encapsulated some fields of PBSolverCP to make them more easily configurable.
4 jobs from master in 24 minutes 13 seconds (queued for 10 seconds)
Status Job ID Name Coverage
  Build
passed #534
jars-j8

00:34

passed #533
java8

12:10

 
  Test
passed #535
java7

11:15

failed #536
allowed to fail
java9

00:14

 
Name Stage Failure
failed
java9 Test There is an unknown failure, please try again
	at java.base/sun.security.validator.PKIXValidator.<init>(PKIXValidator.java:86)
... 72 more
2632 [ERROR]
2632 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
2632 [ERROR]
2632 [ERROR] For more information about the errors and possible solutions, please read the following articles:
2632 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/ProjectBuildingException
2693 [ERROR] [Help 2] http://cwiki.apache.org/confluence/display/MAVEN/UnresolvableModelException
ERROR: Job failed: exit code 1