Merge pull request #33 from bentley/dox

Typos and grammar fixes through chapter 2.
Updated README
minisat compile fix
Replaced depricated %name-prefix= bison directive
Fixed clang -Wdeprecated-register warnings
Typos and grammar fixes through chapter 4.