tiny python script for downloading arte videos