Rename INSTALL file to INSTALL.md, so that it renders nicely on github