Modify 'download' to download specific ISO.
Note that no garbage collection of old ISOs is needed because this overwrites the only saved ISO.
This addresses issue #306.