admin.js: Extract Admin.navigation() method into a separate file

Admin themes might provide its own navigation handler.  Move it out
so we can still reuse admin.js.