This patch replaces the toy downloader (that merely copied files locally, for testing) with the mechanics needed to download files from a www server. It also changes the use of GPG to use detached signatures. Issue #2339
