Rename INSTALL.txt -> INSTALL for consistency