modified:   Makefile
	renamed:    prover_py.c -> python_ext/prover_py.c
	renamed:    setup.py -> python_ext/setup.py