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.
SSL-PROBLEMS: describes common curl+SSL problems