update TravisCI configuration