Change Key.toString() to be useful for URL encoding

This makes the key string format shorter, and more suitable for use
within a URL.

Signed-off-by: Shawn O. Pearce <sop@google.com>
8 files changed