[Sched-tools] [PATCH 12/20] update .gitignore