Fix up .gitignore for new tools #3254