Creating INSTALL file. This duplicates README for the time being.