Initial commit
sources from book website
moving .gitignore into subdirectory
Merge remote-tracking branch 'coq-art/master'