travis: Only use saucy for texlive