Python script which downloads files provided as URLs from stdin