Trio-websocket

Fixed
- reader task no longer raises unhandled exception on ClosedResourceError
([134](https://github.com/python-trio/trio-websocket/issues/134))
- minor issues in example code, documentation, and type-hinting

...