Initial commit
latest draft of Chlipala's book
moving .gitignore to subdir
Merge remote-tracking branch 'cpdt/master'