Alt-Ergo solver installation was fixed.

AltGr-Ergo (GUI of Alt-Ergo) installation command was added (for case when the 'gtk' flag is on).