Merge branch 'release/v3.1.37' into develop
add pr publication support: prEnd, implReport
remove notPR
update HTML5 to Candidate Recommendation
add STREAMS-API
rename DOM4-EVENTS to UI-EVENTS
Merge pull request #121 from fhirsch/develop

add PR support
make implReport optional
update documentation for prEnd, implReport
Merge pull request #122 from jacobrossi/develop

Add STREAMS-API, Update HTML5, Rename DOM4-EVENTS to BiblioDB
Merge pull request #123 from fhirsch/develop

make implReport optional in PR handling, update documentation
update ref and typo
v3.1.38
Merge branch 'release/v3.1.38' into gh-pages