WordPress plugin that allows you to map pages to custom post types and custom taxonomies for menu highlighting in wp_nav_menu() and wp_list_pages()