added PROVE_FLAGS, and phony targets for single tests