Updating travis-ci configuration