* wget with retry added for flaky mirrors * nic.funet.fi address configurable and set to bio.nic.funet.fi by default * TMPDIR handling parameterized
* wget with retry added for flaky mirrors
* nic.funet.fi address configurable and set to bio.nic.funet.fi by
default
* TMPDIR handling parameterized

chipster/chipster-tools,chipster/chipster-tools,chipster/chipster-tools,chipster/chipster-tools