Current ACSL version retrieves the Frama-C version info from
Frama-C directory itself: there's no need to check coherence
anymore