Update get-frama-c.html

2 jobs for master in 9 minutes and 10 seconds (queued for 2 seconds)