travis: don't forget trilinos-dev