eth-tools/.gitignore