Log Message:
pkgtools/pkglint: update to 23.15.0

Changes since 23.14.0:

Complain if a package has an options.mk file but doesn't included it.

Don't complain about pointing PATCHDIR to a nonexistent directory
as long as PATCHDIR and DISTINFO_FILE match.