lemma editing: remind user to save

[odanoburu]

• if there are added lemmas that have not been saved, confirm before quitting edit menu

• also would be nice to have a way of disallowing inexistant lemma-pos combinations