Improved INSTALL.txt build documentation