Convert INSTALL.txt to INSTALL.md with up-to-date instructions.