Update and rename INSTALL.txt to INSTALL