html.phpのリファクタリング
PKWK_DTD_*を廃止。HTML5専用にした。