Add a button to the user profile page to let you reset your REST API

key.  This is useful if you think it's been compromised in some way.
Fixes ticket #1226.

modules/rest/views/user_profile_rest.html.php

@@ -4,6 +4,9 @@
     <li id="g-rest-key">
       <p>
         <?= t("<b>Key</b>: %key", array("key" => $rest_key)) ?>
+        <a class="g-button ui-state-default ui-corner-all g-dialog-link" href="<?= url::site("rest/reset_api_key_confirm") ?>">
+          <?= t("reset") ?>
+        </a>
       </p>
     </li>
   </ul>