new version of Alt-Ergo (0.95.1)
Merge pull request #671 from backtracking/master

new version of Alt-Ergo