SimpleMPI has now been integrated as LOTlib.MPI. New changes will only be made there, not to SimpleMPI
added MPI.MPI_unorderedmap to deal with MPI mapping over generators. Small fixes to hypotheses
Merge branch 'master' of https://github.com/piantado/LOTlib
Merge branch 'master' of https://github.com/piantado/LOTlib

Mostly moving things from NumberGame/Utilities to NumberGame/Hypothesis.