Validation Utils enhancements

Added date/time to HTML summary report; added attribute @extra to
d:document-validation-report for internal use.