This adds a new flag to set the discovery port to be different from
the TCP listener port.
Co-authored-by: Felix Lange <fjl@twurst.com>