Gitignore folder containing VeriT proofs that are problematic for parsing