AliInst: clearer AliRoot Git URLs