Changed travis-ci configurations