Change in jenkins[master]: Added infra-docs jobs