Gedit plugin that adds a toolbar menu to save and restore sessions