Fixed the board comparison functions so that they don't decompress to thousands of lines of haskell
Add intermediate coq files to the .gitignore