Minted 2023 update

Merge Request: Update Minted Configuration for TeX Live 2023+ Compatibility

Goal of the Changes

This update modifies the way our Alethe documents handle code highlighting via the minted package. The key changes are:

• Minted 2023+ Compatibility:
  The new minted (version 3.0.0 and later) no longer supports overriding \MintedPygmentize for custom lexers. Instead, we now reference our custom lexer directly using ./highlight.py:SMTLibLexer in the minted environment definitions.

• Backward Compatibility:
  A conditional mechanism in the LaTeX preamble detects whether the legacy \MintedPygmentize command is defined. If it is, the document falls back to the older configuration (for TeX Live 2022 or earlier). This ensures that users on both old and new TeX distributions can compile the document without modifications.

• CI/CD Pipeline Adjustments:
  The GitLab CI environment may need to copy the .latexminted_config into the global configuration (e.g., $HOME/.latexminted_config) to ensure the custom lexer is registered during the build.

• .latexminted_config Setup:
  Confirm that the .latexminted_config file is properly set up and that the flag enable_cwd_config is enabled (either via a global configuration or by copying the file to $HOME/.latexminted_config in the CI environment). This is crucial for minted 3.0.0+ to load custom lexers.

---

Thank you for reviewing these changes. Your feedback and any suggestions for further improvements are welcome.