[travis] Download TeXLive 2013