added ProofSamples to Makefile