Add new tools to .gitignore