Update .gitignore

Add in Haskell ignores from https://github.com/github/gitignore/blob/main/Haskell.gitignore and remove some duplicates in specific folders

.gitignore

@@ -116,6 +116,31 @@ setup.log
 # Local OPAM switch
 _opam/
 
+# Haskell
+dist
+dist-*
+cabal-dev
+*.o
+*.hi
+*.hie
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+*.prof
+*.aux
+*.hp
+*.eventlog
+.stack-work/
+cabal.project.local
+cabal.project.local~
+.HTF/
+.ghc.environment.*
+
 # compilation outputs
 src/Everything.v
 src/Bedrock/Everything.v
@@ -136,13 +161,7 @@ src/ExtractionHaskell/saturated_solinas
 src/ExtractionHaskell/unsaturated_solinas
 src/ExtractionHaskell/word_by_word_montgomery
 src/ExtractionHaskell/base_conversion
-src/ExtractionHaskell/saturated_solinas.exe
-src/ExtractionHaskell/unsaturated_solinas.exe
-src/ExtractionHaskell/word_by_word_montgomery.exe
-src/ExtractionHaskell/base_conversion.exe
-src/ExtractionHaskell/*.hi
 src/ExtractionHaskell/*.hs
-src/ExtractionHaskell/*.o
 src/ExtractionOCaml/saturated_solinas
 src/ExtractionOCaml/unsaturated_solinas
 src/ExtractionOCaml/word_by_word_montgomery
@@ -157,25 +176,8 @@ src/ExtractionOCaml/with_bedrock2_word_by_word_montgomery
 src/ExtractionOCaml/with_bedrock2_base_conversion
 src/ExtractionOCaml/perf_unsaturated_solinas
 src/ExtractionOCaml/perf_word_by_word_montgomery
-src/ExtractionOCaml/saturated_solinas.exe
-src/ExtractionOCaml/unsaturated_solinas.exe
-src/ExtractionOCaml/word_by_word_montgomery.exe
-src/ExtractionOCaml/base_conversion.exe
-src/ExtractionOCaml/bedrock2_saturated_solinas.exe
-src/ExtractionOCaml/bedrock2_unsaturated_solinas.exe
-src/ExtractionOCaml/bedrock2_word_by_word_montgomery.exe
-src/ExtractionOCaml/bedrock2_base_conversion.exe
-src/ExtractionOCaml/with_bedrock2_saturated_solinas.exe
-src/ExtractionOCaml/with_bedrock2_unsaturated_solinas.exe
-src/ExtractionOCaml/with_bedrock2_word_by_word_montgomery.exe
-src/ExtractionOCaml/with_bedrock2_base_conversion.exe
-src/ExtractionOCaml/perf_unsaturated_solinas.exe
-src/ExtractionOCaml/perf_word_by_word_montgomery.exe
-src/ExtractionOCaml/*.cmi
-src/ExtractionOCaml/*.cmx
 src/ExtractionOCaml/*.ml
 src/ExtractionOCaml/*.mli
-src/ExtractionOCaml/*.o
 src/Rewriter/PerfTesting/Specific/generated/*.v
 src/Rewriter/PerfTesting/Specific/generated/*.log
 src/Rewriter/PerfTesting/Specific/generated/*.sh