Redirect to Frama-C 20.0 Calcium installation