Add .gitignore
Documentation of primality proofs