Adjusted server start

The server now announces which port it bound to when it was launched on
stdout. If you start the server manually, this feedback could be useful
for debugging. This is not necessarily the port specified in the init
script if something went wrong.