Clarify the use of the CI scripts

I think the default installation mode should use git directly instead of using the CI bootstrap script: some of our users are confused by the xctool dependency, and others probably just went ahead and installed xctool unnecessarily. (c.f. #1106 #1186)