Redirect to Frama-C 28.1 Nickel installation