Specify port number at command line.

Closes #123.