proper components base, following "isabelle components -I": downloaded components should be shared for all Isabelle versions;