Revert "Hack Rule.name() into existance so that the Bidder UI knows how to name bids"

This reverts commit 75aef576d4c8a5cfe3fd5d00f7d122f35761a6dd.
Make the solver pool and actual solver pool. Saves 6s on the unit tests
Merge branch 'master' of github.com:eseidel/saycbridge

Conflicts:
	src/z3b/bidder.py