Release of Alt-Ergo 0.99.1