A WebRTC signaling server