Pre-generate the port when None

instead of letting unfiltered.jetty.Http do it, because it makes the code a bit simpler
HTTPS support

(untested --I'd need to get naive-http to support it O:-) )