New post for the Frama-C blog
@blanchard for info (even if it's unrelated to the new website or release)