support for Alt-Ergo 2.5.1
Alt-Ergo 2.5.1 is out since Sep 28. We should support it for Why3 1.7.0.
We could just add support with the native syntax. The support for the SMT-LIB input is more future work, with needed tests for new features in particular bitvectors and counterexamples.