A trivial implementation of HTML5 video streaming via websockets.