Improved menu structure

Menus now have a tree like structure, and the menu manager always points
to a certain node within the tree (the current page), as well as the
root node of the tree. All menu pages implement the "menupage"
interface.