updated travis-ci configuration