Do not allow short OIDs in URLs

URLs _can_ contain short OIDs, but that's error-prone as they might
become ambiguous at some stage, in which case the URLs will stop
working. Let's just expand the short URLs.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho