page navigation

• introduction of ui.open to programatically switch between pages (see example)
• headlines in the documentation now provide anchors for direct linking