removing coq files, since there are now all in SurveyMan/proofs