Xvideos, Xhamster, and Redtube video downloader written in Python