Docker image to write latex but also code in C++ and Python (and generate illustrations).