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;