WebSocket filter improvement:
- one (new) method executed before message processing, and one after
- additional methods parameter: shared property map for user use
- better documentation of the filter