Speed up pipeline

[deemp]

• close #87
• close #339
• close #346
• close #341
• close #66

Additionally:

• fix scripts to work on Windows and non-Windows

TODO

• [x] write about cygwin and cygpath on the pipeline page on the site
• [x] fix artifact name
• [x] in Setup.hs, run the command in bash
• [x] Cache generated Syntax files so that it's not necessary to rebuild the project only because of them
  • [x] Restore them before stack-action using the hash of Syntax.cf and stack.yaml.lock as a key
  • [x] Create an output flag that is true if all files that must be generated are present
  • [x] If this output if false, run full rebuild in stack-action

---

PR-Codex overview

This PR focuses on updating the pipeline scripts, adding Normalizer installation, and enhancing pipeline lock management.

Detailed summary

• Added Normalizer installation and path setup
• Enhanced pipeline lock management
• Updated pipeline scripts and directory structure

The following files were skipped due to too many changes: scripts/pipeline.sh, .github/workflows/ghc.yml

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[0pdd]

@deemp the puzzle #437 is still not solved.