The SWI-Prolog GIT repositories