Split into global and local navigation

This moves part of the breadcrumb trail into the pages themselves.  Also, the breadcrumb is now determined completely by only the page and its parameters, and not by from where it was reached.

Followup work will change the URL format once more, so we probably shouldn't make a release before that.