Reorganize installation instructions, and document Debian.

* INSTALL.md, doc/INSTALL-debian.md: New files

* README.md: Move installation material to INSTALL.md.