updated installation procedure(s) and INSTALLATION.txt