[Sched-tools] [PATCH 04/14] update .gitignore