[krbdev.mit.edu #3010] Minor path and service man page fixes

[Public Submitter via RT]

Hello folks,

I'm working on the Debian Kerberos packages and just went through all of
the man pages, looking for paths that needed updating to the Debian
defaults.  In the process, I found a few stray paths in the man pages
that don't match the install defaults either.

The attached patch fixes this, and also uses the same service for the
sample inetd.conf line for kpropd as the default for -S (krb5_prop
instead of kprop, the latter not being present in Debian's /etc/services).

(I initially submitted this to krb5-bugs at mit.edu before finding the
right place to submit it properly; my apologies if this creates a
duplicate.  Otherwise, please feel free to ignore my message.)