travis-ci configuration update