Updating travis.ci configuration; updating travis.yml.