--web-port should be required

[meejah]

Currently, --web-port has a default value of tcp:9889. This option should be non-optional -- the user must think about where they want to listen (and anyway a public / non-local port isn't a good default). Another reason is that trying to run two copies on the same machine will fail (well, the second one will fail silently because of #67).