fix Frama-C Twitter account handle

4 jobs for improve-get-frama-c in 24 minutes and 46 seconds (queued for 11 seconds)