Update notes for talk on Frama-C.