diophantine.py: read coefficients from stdin or from argv