Makefile target for anonymized Coq proofs

The script stripping of comments doesn't work for nested comments,
please don't add any until Saturday