Updated documentation

Updated documentation for git, and also tweaked format string for
REV_ID in Makefile.