New wp_page_menu() API that creates a me …

New wp_page_menu() API that creates a menu of pages. Themes will no longer have to do this for themselves.