Change default agda2-test-all keybinding

Ignore-this: 6df91a001917426f0c1c984b86dd1572

The binding was previously `C-c t`; but the convention in Emacs is that
bindings of the form `C-c LETTER` are reserved for end users; major modes
may use `C-c C-LETTER` instead.

However, the obvious binding, `C-c C-t`, is used by `agda2-goal-type` in the
standard agda-mode.el, so we have to pick something different.  I've gone
for `C-c C-v` on the grounds that it's easy to type, otherwise unused, and
has a vaguely reasonable mnemonic ("verify").

darcs-hash:20110203172939-d6142-61b3f22d50e927fa33536b0b024dca52c4075869.gz

agda-test.el

@@ -126,7 +126,7 @@ can embed tests in comments or TeX code."
 (defun agda2-install-test-keybindings ()
   "Install keybindings for running Agda unit tests."
   (interactive)
-  (local-set-key "\C-ct" 'agda2-test-all))
+  (local-set-key "\C-c\C-v" 'agda2-test-all)) ; mnemonic: "verify"
 
 (add-hook 'agda2-mode-hook 'agda2-install-test-keybindings)