v1.2.5
Kicked out asyncio and simple-websocket, embraced websocket-client.
Long running tasks just run in the background and their progress does not need to be polled anymore.
Breaking changes:
- main.py: ext.run(processAppEvent) replaces its async call.
- No more passive polling from JS for long running tasks. All polling-related code has been removed.