Updating Travis-CI config.