Make ReuseOracle thread-safe by using oracle factories and
synchrinoized usage of the reuse tree
Reformat, Javadoc
Moving synchronize-logic from ReuseOracle to ReuseTree
Merge branch 'reuse' of github.com:LearnLib/learnlib into LearnLib-reuse

Conflicts:
	examples/src/main/java/de/learnlib/examples/example3/Example.java
	filters/reuse/src/main/java/de/learnlib/filters/reuse/ReuseOracle.java
	filters/reuse/src/main/java/de/learnlib/filters/reuse/tree/ReuseTree.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/LearningTest.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/QuiescenceTest.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/ReuseOracleTest.java
Merge branch 'reuse' of github.com:LearnLib/learnlib into LearnLib-reuse

Conflicts:
	examples/src/main/java/de/learnlib/examples/example3/Example.java
	filters/reuse/src/main/java/de/learnlib/filters/reuse/ReuseOracle.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/DomainKnowledgeTest.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/LearningTest.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/QuiescenceTest.java
	filters/reuse/src/test/java/de/learnlib/filters/reuse/test/ReuseOracleTest.java
Fixed javadoc
Replaced ReuseCapabableOracleFactory with Supplier<ReuseCapableOracle>
Do not fetch oracle from ThreadLocal more often than necessary
Initialize ThreadLocal with initial value
getRoot() does not need to by synchronized
Allow derived interfaces for Supplier<ReuseCapableOracle>
Merge pull request #9 from stovocor/reuse

Reuse