Merge branch 'travis-ci' into 'master'

Update Travis CI config

See merge request !149
6 jobs for gib-build
in 3 minutes and 38 seconds and was queued for 3 minutes and 4 seconds