evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;

clarified handling of stdout vs. stderr: the cronjob should normally be silent;

proper self_update of components -- do assume shared file-system;

prefer https;

back to isabelle-dev repository;

pull isabelle-release;

more explicit pull;

basic setup for Isabelle cronjob;