clarified settings and defaults;

more robust: avoid broken tar.gz;

prefer curl: presumably more portable and versatile;

tuned;

check tar error, e.g. from corrupted download;

simplified quick start via "isabelle components -I";

minor robustification;

added "isabelle components" tool;