Merge pull request #671 from backtracking/master

new version of Alt-Ergo
Alt-ergo zero version 0.3
Merge pull request #672 from c-cube/master

alt-ergo-zero 0.3
Merge remote-tracking branch 'upstream/master'