Documentation: Fix and improve HACKING and INSTALL files; minor update to README