[calibration] warn about incorrect prover version

When the profile indicates another version than the local one for a given prover, the message is « no calibration for this prover » ; would like to have a more precise diagnostic.