put subsection headings into the metadata of the pdf file, but not into the
printed frontmatter, as requested by Guillaume
Merge branch 'master' of github.com:HoTT/book