Use pagedown HTML5 output mode if available

This currently requires our html5-output branch of pagedown until our
patch in https://code.google.com/p/pagedown/issues/detail?id=51 is
applied. refs #216