Webm or Ogg theora are OK as a format. But you still need a streaming server software for that. In this case the container is flv with whatever they put in there, but they still are using some streaming server which works with it. Note that adoption of Webm is still lagging behind comparing to Flash.