modified:   Makefile
	renamed:    main.c -> prover.c
	new file:   prover_py.c
	new file:   setup.py