Refactored DTBook Validator

Uses new validation utilities to generate the HTML representation of
the report. Also split up some of the more verbose steps into
submodules.