Ripples: Added Ripples plug-in for publishing real-time state to the
web.