security/krb5-12{0,1}: Consolidate KRB5_{PDF,HTML} options into canonical DOCS option

Let users globally decide whether they want to have these docs in their ports.

PR: 287340
Approved by: otis (mentor), cy (maintainer)
Differential Revision: https://reviews.freebsd.org/D50775