docs: add INSTALL.md to root dir (#9926)

This gives a very quick rundown on installation for end-users (HACKING
etc is for developers/possible contributors).

Signed-off-by: Austin Seipp <austin@well-typed.com>