clean up CLI interface of nodejs server
* restore respect for port number as first positional argument
* clean up some cruft