Remove unused tolls. Discussed with Daniel Pan.
Merge pull request #892 from yason/remove_unused_tools

Remove unused tools. Discussed with Daniel Pan.