Summary of changes: 0769332... New upstream release. Drop upstreamed -warning, -coq84, and (*) 5da367a... Rebuild for new frama-c and why3 builds. (*) (*) This commit already existed in another branch; no separate mail sent