Drop the unnecessary host page servlet name from URLs

We don't actually need to redirect clients to "/Gerrit" but can
instead have the UrlRewriteFilter serve the host page to them
when the URL is "" or "/".  This cuts down on a redirect when
visiting the homepage for the site, but it also makes URLs a
tiny bit shorter by removing 6 letters.

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