Replace texlive package

The texlive package is massive, we should replace it with something a bit smaller so updates don’t take a year to finish!