Small updates to README.md and HACKING