JENKINS-18552: increasing Clover core version to 3.1.12