Started working on discrimination tree algorithm
Discrimination Tree Learner - first version
started refactoring to increase reuseability
toString representation for Query and its implementations
MasterQuery now extends AbstractQuery instead of Query
Move toString functionality for queries into AbstractQuery
Reverting import sort
Adapted ClassicLStarMealy to changes in AutomataLib interfaces, started working on new distribution rules
Added distribution module
Refactored/extended parallelism API
Refactored StaticParallelOracleTest, removed debug output
Merge pull request #19 from LearnLib/parallelism

Refactored/extended parallelism API
Merge branch 'develop' into query-toString

Conflicts:
	core/src/main/java/de/learnlib/mealy/SymbolOracleWrapper.java
Merge pull request #13 from LearnLib/query-toString

toString representation for Query and its implementations
Added setter for maxDepth in WMethodEQOracle, fixed version in distribution module
Added JSR305 annotations in parallelism module
Incremental W method equivalence oracle
Removed evolving module from utils POM
Made cache oracles thread-safe
Added support for storing multiple system states in the reuse tree