Added DTBook validation to NIMAS fileset validator

NIMAS fileset validator now validates DTBook documents as well as the
OPF file.

The OPF validation was enhanced to include checking to make sure there
is a PDF in the manifest.

DTBook validator got some cosmetic improvements in the code.