Announce selected port better.
Announce selected port better.

- Use actually used port in the printed message.
- Flush the printed message to make sure it ends to the sys.stdout.
- Support writing port number to a given `port_file`.

Implements code changes related to issue #3. Documentation missing.

fingeronthebutton/PythonRemoteServer