update travis-ci configuration