Permit non-numeric port number in websocket-server

This makes it possible to specify t for port, and let the system pick a
free listening port.