python: download a file over an ftp server,ftp.quit()