Improve deploy_deb.sh.
Improve deploy_deb.sh.

  * Don't use gitlab web interface (which is rate limited) to download CSVs.
  * Allow script to run interactively better by disconnecting stdin.

mwutzke/faucet,REANNZ/faucet,faucetsdn/faucet,mwutzke/faucet,REANNZ/faucet,faucetsdn/faucet,gizmoguy/faucet,trungdtbk/faucet,shivarammysore/faucet,anarkiwi/faucet,gizmoguy/faucet,anarkiwi/faucet,shivarammysore/faucet,trungdtbk/faucet