Add tools/.gitignore.