Update Spot to version 1.1.4.
Update ocamlgraph to 1.8.3.
Update alt-ergo to 0.95.1.
Update cil to 1.7.3.