Box unpromotion

This adds a Box::unpromotePlug() method to the API, and makes it accessible to the user via the plug popup menu. It improves on the former "Remove input" menu item in that it removes the promoted plug on the Box.