Implement 'use' 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.