Updating Travis-CI configuration.