In preparation for adding distribution branches:

* Document that 'short_name' can be a hierarchical name
* Update webview and its templates to URL-encode/decode branch names,
  so that '/' does not become a URL path separator