That's plain HTTP streaming protocol, so in Windows, you could grab those videos with a tools like
StreamTransport,
NetTransport, IDM,
GetFLV, an so on. And I'm afraid that you can do it easily in Linux too, if you discover the videos addresses wit a sniffer, and then use normal download tools.