Add a first implementation of the latex export