Rename INSTALL.txt to INSTALL.md