Add a script to help explain histories.  I also added some prints into the bidder.  I ran the tests and it says they're now 4s faster... but that must just be noise.  At least I don't believe this is slower
Show max length and max points in the explorer
Make name an @property everywhere instead of a function
Fix PositionView.max_length
Stop putting inconsistent knowledge into the history
Merge branch 'master' of github.com:eseidel/saycbridge
Add negative doubles
Further refinements for negative doubles to distinguish between 4 and 5 spades
Rule-of-fifteen, commented out version of rule-of-nineteen
Merge branch 'master' of github.com:eseidel/saycbridge
Rebaseline
Add basic support for takeout doubles
Make ./scripts/explain easier to read
Add Jacoby2N and make ./scripts/explain even better
Merge with Andrew's OpeningConstraint change
ForcedToBid expects too many points from partner
Add a big hack to make the main bidder page display per-call knowledge with z3
Unbreak all the failures caused by modifying call_history
Add a very basic implementation of the law of total tricks
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/z3b/constraints.py
	src/z3b/preconditions.py
	src/z3b/rules.py
	src/z3b_baseline.txt