- put all build-generated directories and files into the top-level .gitignore so that we are not forced to deal with them since they are auto generated
- added short INSTALL file
- fixed mkhzdr script