Merge update to INSTALL.aldor from trunk.
Authored by: whebisch 2011-12-15
Parent: [r1235]
Child: [r1237]