Merge branch 'jamal-thesis-benchmark' into incremental-jastadd

...va/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java

jastadd-mquat-benchmark/src/main/resources/scenarios.json

...tudresden/inf/st/mquat/solving/genetic/GeneticSolver.java

...esden/inf/st/mquat/solving/genetic/opt4j/Opt4jModule.java

...etic/opt4j/custom/operator/mutate/TreeMutateOperator.java

...olving/genetic/opt4j/custom/optimizer/MaxSolvingTime.java

...ving/genetic/opt4j/custom/optimizer/TimeOutIteration.java

...ving/genetic/opt4j/custom/optimizer/TimeOutOptimizer.java

...enetic/opt4j/custom/optimizer/TimeOutOptimizerModule.java

...udresden/inf/st/mquat/solving/GeneticHandwrittenTest.java

.../de/tudresden/inf/st/mquat/solving/GeneticSolverTest.java

.../tudresden/inf/st/mquat/solving/HandwrittenTestSuite.java