Include in pip's User-Agent string whether it looks like pip is running under CI.