Add tools/make_global_gitignore.py