update apps-alt-ergo
update apps-frama-c
update godi-ocamlgraph