Python script for downloading all files of a given format from a given website