Redirect to Frama-C 22.0 Titanium installation