Updated .gitignore
Compatible with Coq 8.4 and dev using a pre-processor