A simple python script to download files of given extension types from a web page.