a simple tool to download HTTP Live Streams