fixed .gitignore to accept tools/ directory