Why3 now looks for a %l/{coq,pvs}/version file to check which version of a
prover was used to compile realizations. In particular, there is no longer
any Config.compile_time_support variable set once and for all.