Started working on discrimination tree algorithm
Discrimination Tree Learner - first version
started refactoring to increase reuseability
Adding ObservationTableWriter which converts the suffixes into a string
New mapper architecture
Use an ObservationTableReader to retrieve OTs from string representations
JavaDoc
Make SimpleObservationTable safer to use
Use correct Nonnull annotation
Merge branch 'develop' into ot-serialization
Merge branch 'develop' into ot-serialization
Merge branch 'develop' into ot-serialization
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