upgrade alt-ergo package
remove obsolete patches
Merge pull request #5 from vprevosto/alt-ergo-0.95.2

Alt ergo 0.95.2