Fixed help menu in pintool.
Fixed -t and -f implementation in pintool.
(Tested on stampede.)

git-svn-id: svn://graphite/diminuto/trunk@460 5dfbf39a-1452-0410-8a97-9e58fedde8e3
24.3.1

git-svn-id: svn://graphite/diminuto/trunk@461 5dfbf39a-1452-0410-8a97-9e58fedde8e3