Menu Customizer: implement menu-deletion on the server side, completing the ability to add and delete menus from within the Customizer.

git-svn-id: https://plugins.svn.wordpress.org/menu-customizer/trunk@944095 b8457f37-d9ea-0310-8a92-e5e31aec5664