[alt-ergo] release 0.99.1 of Alt-Ergo, AltGr-Ergo and satML-plugin.