Updating travis definitions