Let "run" button also trigger a save event

[Hofer-Julian]

First of, thanks for this amazing tool. I tried it out to test pixi support, and it truly keeps up to its promises. It includes all goodies of Pluto.jl and adds a few on top of that.

When working with it, found myself running two actions after every meaningful change. "Save" in order to trigger "format on save", and "Run" in order to execute the cell.

I feel like "Run" should imply "Save". Even with "auto-save" off, saving is expected before each run. "Run" would then also trigger "format on save".

[mscolnick]

We could maybe add one (or two settings).

• save-on-run
• format-on-run (or just format if format-on-save is on)