Change in jenkins[master]: add new 'custom repos' parameter to standard CI