“Save as”/export function

Split off from #303. Currently, each `Session` is stuck with the `WhenceUniverse` it was initially created with. It should be possible to tell the session to save to a new location. Relatedly, it should be possible to save/export in an arbitrary choice of format.