#391 Node deletion functionality and GUI. There is a now a button in the side bar that, when clicked, deletes all nodes that are currently hidden (via filters). This gets entered as an undo and redoable breadcrumb. Filter checkboxes are repopulated, though when undoing, their grey status is not consistent. That will require some tricky refactoring, and is of slightly low priority.