Download a file from the web

The URL to download a file can be entered using the GUI or given as a
command line argument (no GUI will pop-up).