Added tools/.gitignore