Redirect to Frama-C 25.0 Manganese installation