extract_proofs: add Makefile
chore: update .gitignore