Added tip4commit reference (fixes #150), fixed a markdown bug in INSTALL.md