Add the texlive recipe