new version of Alt-Ergo

this is version 0.95.1
(note that we removed most patches, since Alt-Ergo 0.95.1 now uses ocamlfind if present)