Update Travis-CI integration