Adds two randomized equivalence oracles based on the W method#40

Merged

abainczyk merged 2 commits intoLearnLib:developfrom

Jaxan:randomized-eq-oracles

Oct 27, 2016

Commits on Aug 29, 2016

Adds two randomized equivalence oracles based on the W method
Jaxan
committed

Commits on Oct 27, 2016

Renamed the oracles to be consistent with current style.
Jaxan
committed