Improve example in intro.
Improve example in intro.

* Refactor to increase clarity.
* Avoid deprecated usage of asyncio.wait.
* Clarify what happens when clients disconnect.
* Restore call to main() -- it disappeared.

Fix #757.

aaugustin/websockets,aaugustin/websockets,aaugustin/websockets,aaugustin/websockets