Updated travis-ci configuration