Change in jenkins[master]: Make CI information available in the CI env