Add header field to the json output#1314

jonludlam merged 2 commits intoocaml:masterocaml/odoc:masterfrom

panglesd:header-in-json-outputpanglesd/odoc:header-in-json-outputCopy head branch name to clipboard