add 3 tools executables to .gitignore