Add Flocq 2.4.0.
Update Why3 to 0.85.