Draft: Add save, rename old save to save as
Fix #234
"Save" gets renamed to "Save as", and a plain "Save" gets added - not many surprises here. "Load state" is coming up ;-)
Fix #234
"Save" gets renamed to "Save as", and a plain "Save" gets added - not many surprises here. "Load state" is coming up ;-)