Revamped model enumeration for anovaBF

Used monotone Boolean functions for much more efficient enumeration
Changed algorithm for enumerating restrictions in generalTestBF

New algorithm is much more efficient, and also fixed a bug that existed
in the old algorithm
Merge pull request #3 from richarddmorey/issue2

Solved issue 2 by rewriting algorithm to enumerate valid restrictions on models