Mod experiment#75

oscarbenjamin merged 3 commits intoflintlib:masterflintlib/python-flint:masterfrom

deinst:mod_experimentdeinst/python-flint:mod_experimentCopy head branch name to clipboard