Add INSTALL.md with explanation about using the new Makefile-based build system and the Docker-based build system, and remove the same section from README.md.