Description
We should rename bin/htrace to bin/htool. Calling the tool "htrace" is confusing since that's also the name of the whole project.
We should rename bin/htrace to bin/htool. Calling the tool "htrace" is confusing since that's also the name of the whole project.