Updating definitions/Travis.json