[wpkg-users] Replace xmlhttp download with curl/wget

[Marco Gaiarin]

Mandi! Falko Trojahn
  In chel di` si favelave...

> So we can have predefined options for e.g. wget or curl in wpkg.js,
> while preserving the possibility to use another tool.

...eg, a script (cmd suffices?!) that also check the MD5 of the file,
preventing wpkg tring to install ever an ever that corrupted installer.
;-)

This clearly needs an hash="" or md5="" field in <download /> tag.

-- 
dott. Marco Gaiarin				    GNUPG Key ID: 240A3D66
  Associazione ``La Nostra Famiglia''                http://www.sv.lnf.it/
  Polo FVG  -  Via della Bontà, 7 - 33078  -  San Vito al Tagliamento (PN)
  marco.gaiarin(at)sv.lnf.it	  tel +39-0434-842711  fax +39-0434-842797

		Dona il 5 PER MILLE a LA NOSTRA FAMIGLIA!
	   http://www.lanostrafamiglia.it/chi_siamo/5xmille.php
	(cf 00307430132, categoria ONLUS oppure RICERCA SANITARIA)