Dbk print xsl

The default print xsl templates are replaced and new templates are added to support maps with DBK info.