travis-ci: fix for trilinos repository adding