YouTube video stream extractor, especially for the Raspberry Pi