.gitignore: update list of book sub-dirs
Merge branch 'master' into maven_build