Page navigation menu

The administrator is able to select a menu(from menu editor) in post/page editor. The navigation menu will be outputed with help from page_navigation_menu() function.