Add a closing connection option.

* add a close socket option in Connection. Note that dart produces a warning
  because the _socket object is annotation is StringSink, while we would need
  a ClosableStringSink, which unfortunately doesn't inherit from _Socket
* add a "quit" pm command in the example to illustrate this command