hide UI in print
Add `noHighlightCSS` conf option to omit the highlighting css

This is useful if a custom stylesheet already has the highlighting definitions integrated.
Split out google-code-prettify
Update to latest version of google-code-prettify
Use google-code-prettify as AMD module

The latest versions are now AMD compatible, as long as the module name
`google-code-prettify` is used. Updated Highlight.js to use the
exported object.
figcaptions shouldn't lose markup
Issue292 maxTocLevel doesn't continue numbering sections
Issue292 Handled case of maxTocLevel=0 or not set
fix CGBG header; make respec2html work again
use proper methods for respec2html
Merge pull request #293 from sspeiche/develop

Issue292 maxTocLevel doesn't continue numbering sections
fix tests for cgbg
Merge pull request #288 from KevinCathcart/pretty-print

Pretty print
v3.2.7
README
(cherry picked from commit 3cd24519c9beb61ba333e55af2b7429754216f47)
building and releasing notes
Merge branch 'develop' into gh-pages
new errata text plus error check
v3.2.8
Merge branch 'develop' into gh-pages