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;