Release of Alt-Ergo 0.99.1
Merge pull request #3301 from iguer/release-of-alt-ergo-0.99.1

Release of Alt-Ergo 0.99.1