Rename "Delete" to "Edit" and add undo/redo

We currently have a menu in the menu-bar called delete. We should rename it to Edit (and move it next to File).

Then we can add undo and redo to this menu, besides the shortcuts. This should increase the discoverability of the feature.