Added support for storing multiple system states in the reuse tree
Documented non-thread-safety of BoundedDeque
Merge pull request #20 from LearnLib/reuse-multistate

Added support for storing multiple system states in the reuse tree