Fixing the jenkins build and the clover config for the instrument-plugin