make the default url customizable

this is the page redirected to from `/`, which defaults to `/tree`.

also changes the redirect code to 302 from 301, which should cause less grumbling about caching.

Prompted by design discussions in the multi-user server.