phtize all the things

Summary: `pht`ize a whole bunch of strings in rP.

Test Plan: Intense eyeballing.

Reviewers: #blessed_reviewers, epriestley

Reviewed By: #blessed_reviewers, epriestley

Subscribers: hach-que, Korvin, epriestley

Differential Revision: https://secure.phabricator.com/D12797

scripts/diviner/diviner.php

@@ -6,7 +6,7 @@ require_once $root.'/scripts/__init_script__.php';
 
 $args = new PhutilArgumentParser($argv);
 
-$args->setTagline('documentation generator');
+$args->setTagline(pht('documentation generator'));
 $args->setSynopsis(<<<EOHELP
 **diviner** __command__ [__options__]
   Generate documentation.