Added a "Solver" object to the user-facing interface, and gave access to module objects. (Is there a better name for Solver?)
Merge branch 'master' of https://github.com/avigad/polya
Incorporated Cody's root checking algorithm into multiplication module, and renamed primes.py to num_util.py