Update texlive for Travis-CI on Ubuntu 12.04 LTS