INSTALL: add .md extension so GitHub will render it