docs: remove documentation on setting up krb4 support

The information about building with Kerberos4 support was half a year out
of date. We dropped support for that.