diophantine.py: doctests added