Add a devel-docs subpackage with the >1100 man pages used to develop
krb apps.