Add the new `webrtc.singlePort` config option which forces the WebRTC server to listen on this port only.