Update TeXLive to latest monthly release

[compor]

Let's revert #57

Stacked on #61

[compor]

./paper.tex:669: Package minted Error: 
 => ./paper:574: Missing ".latexminted_config"; custom lexers are disabled.

Something for later then!

[compor]

After some investigation, this is a Minted v3+ feature to avoid arbitrary code execution via the custom lexers feature.
I have managed to build this locally, although not completely trouble-free:

1. Add a .latexminted_config file with the following contents in your home dir or TEXMFHOME dir:

{
    "security": {
        "enable_cwd_config": true
    }
}

1. Clone this branch locally
2. Add a local .latexminted_config file with the following contents using the sha256sum for each custom lexer file:

{
    "custom_lexers": {
        "MLIRLexer.py": "59f433d2cb99995d23742874af4041d3632215578159f66fc3be15bd586865ea",
        "Lean4Lexer.py": "b605e06a957316a2de8607f43322dd2744ecbc53a6d29002ad0c42b0f9f71d6f"
    }
}

4. Pull latex texlive docker image with sudo docker pull ghcr.io/xu-cheng/texlive-full:20250101
5. Load Docker and mount the paper-template dir on it (assuming it is your CWD) with docker run -it --rm -v "$(pwd)":/workspace -w /workspace ghcr.io/xu-cheng/texlive-full:20250101 bash
6. Execute make

The current problems are:

• The if guard for older and newer versions of minted for using the right version of the newminted does not seem to work
• Lexers invoked with unique names do not seem to work, but the default CustomLexer for the Python class seems to work. We will need to split those, if it is a minted issue.

This allows us to use \inputminted{path to lexer file}{foo.mlir} for now, but not inlining code fragments.
I need to check mintinline as well.

For the CI, we will need a layer to add the .latexminted_config to enable custom lexer execution.

I'll investigate more soon.

[compor]

Issue filed with the docker image repo: xu-cheng/latex-docker#22

[compor]

Stacked at #61

[alexarice]

CI seems to work 👍 Do we want to pin the docker image or just leave it unpinned?

[alexarice]

Ideally we could check the hashes for lexers in CI but this could be done in a separate PR or done manually for now.

[compor]

It used to be unpinned and I prefer it this way as the Docker image is updated at the start of every month.
The most recent version was baked 2 days ago (tagged latest): https://github.com/xu-cheng/latex-docker/pkgs/container/texlive-full

[compor]

Ideally we could check the hashes for lexers in CI but this could be done in a separate PR or done manually for now.

I also thought of that, but something for another day.