server: Add command-line option to specify interface
As of commit 4304001d, the server always listens on the loopback interface. This is a good default, but it would be useful to be able to specify the interface, too.
Maybe --server-ip
? I suppose that if the value is "#f" then that should be treated specially (all interfaces).
(Aside, I wonder if --port
would be better called --server-port
.)