Fixed bug in sample_problems code.
Merge branch 'master' of https://github.com/avigad/polya

Conflicts:
	examples/sample_problems.py