8179892: Update build documentation for JDK 9
Reviewed-by: erikj

8180472: Pandoc should generate html5 from markdown
Reviewed-by: erikj

8175825: Stop including pubs repo
Reviewed-by: erikj

8176509: Use pandoc for converting build readme to html
Reviewed-by: erikj