Moved the cache classes to their places, created classes for ZULU
oracles.
Some examples do not work, because of some unchecked casts in the class
DFABisimulation