Adding a .gitignore to tools-extra