added hls-tools/extractor.py a small tool to download a HLS stream from a server