improved travis CI integration