Redirect to Frama-C 21.1 Scandium installation