Started working on discrimination tree algorithm
Discrimination Tree Learner - first version
started refactoring to increase reuseability
New mapper architecture
Added support for specifying initial prefixes in lstar-generic
Removed debug outputs
Updated cache implementation (fixed tree/dag mixup)
Added hashset cache, fixed bug in DynamicParallelOracleBuilder
Merge branch 'discrimination-tree' into develop

Conflicts:
	algorithms/dhc/src/main/java/de/learnlib/algorithms/dhc/mealy/MealyDHC.java
	algorithms/lstar-generic/src/main/java/de/learnlib/algorithms/lstargeneric/ExtensibleAutomatonLStar.java
	algorithms/pom.xml
	core/src/main/java/de/learnlib/api/EquivalenceOracle.java
	core/src/main/java/de/learnlib/api/LearningAlgorithm.java
	core/src/main/java/de/learnlib/api/MembershipOracle.java
	core/src/main/java/de/learnlib/api/QueryAnswerer.java
	core/src/main/java/de/learnlib/statistics/StatisticSUL.java
	pom.xml
	utils/counterexamples/src/main/java/de/learnlib/counterexamples/GlobalSuffixFinder.java
Started preparation of 0.10.0 release
WiP in porting KV to learnlib-discrimination-tree
Baed KV implementation on learnlib-discrimination-tree rather than jdtree
Merge branch 'prepare-0.10.0' into driver-new

Conflicts:
	drivers/basic/src/main/java/de/learnlib/drivers/api/ExecutableInput.java
Merge branch 'drivers' into driver-new

Conflicts:
	drivers/basic/src/main/java/de/learnlib/drivers/reflect/ConcreteMethodInput.java
Added mapper project, migrated driver module to new mapper architecture
Merge branch 'driver-new' into prepare-0.10.0
Merge branch 'ot-serialization' of github.com:LearnLib/learnlib into ot-serialization