ArteTvIE: support videos from videos.arte.tv

Each source of videos have a different extraction process, they are in different methods of the extractor.
Changed the extension of videos from mp4 to flv.