patch applied (hackage-server): "Add a --ip option, to specify the IP that the server listens on"