Sync INSTALL.md from master to gh-pages