Updated Travis-CI integration