- Use git submodule for tools. - Update Makefile to use submodules. - Put submodule at tools/ - Tidy up some obsolete references to tools in .gitignore.