misc::contint merged in role::ci::master

misc::contint has finally be phased out. The remaining bits were
enforcing file modes for the Jenkins master, so that is better done in
role::ci::master directly.

Change-Id: I8f513583e4998795977e280c6060e29f2b79ff34