Use recording name for file name when saving a file#9982

Wumpf merged 1 commit intomainrerun-io/rerun:mainfrom

emilk/save-file-namererun-io/rerun:emilk/save-file-nameCopy head branch name to clipboard