Some organizations do not wish their users to be able to edit the krb5
profile.

Add a registry setting that makes the display of the profile editor
configurable.