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