This fixes #33.

A command line option --port has been added that takes an integer number, which will be used as
the server's alternative listen port