Reformatting spec document in HTML5

Reformatting official HTMLBook specification as HTML5 content instead of AsciiDoc for better formatting on the Web