Add E-ACSL implementation on the release pages

On the release pages (including the get-frama-c page), the E-ACSL implementation reference is not provided. It is provided on the documentation page (as well as on the E-ACSL page), but maybe this document could be provided too on the release pages?

Note: we should also reorganize links on the version pages so that the manuals are ordered correctly 🤦