Add Travis-CI setting.