Redirect to Frama-C 26.1 Iron installation