Report realtime progress of long-time operations

[rmburg]

Long-running operations, like loading of many demos in a demo directory, should report real-time progress to the user.

Implementation notes: We need to dispatch a Tauri event in the backend when the progress changes, and need to subscribe to these events in the frontend after starting a Tauri command.