Config: add frama-c config.