Added batch experiment (shortestce_batch)
Merge branch 'DFAshortestCE' of https://github.com/mvolpato/learnlib.git
into DFAshortestCE

Conflicts:
	core/src/main/java/de/learnlib/experiments/Experiment.java