edeploy-nodes.sh: allow to specify a pxe profile in hosts.conf
download.sh: support a list of infrastructure git repos