include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
patch cygwin in makedist_bundles instead of makedist_cygwin, to avoid frequent repackaging of the same;