[tools] Remove an unused tool