[krbdev.mit.edu #8502] ret_boolean in profile_get_boolean() should be krb5_boolean * instead of int *

[Greg Hudson via RT]

krb5_boolean is a public type.  profile_get_boolean() is a public API.  
While it might be nice if they agreed, changing public APIs and types can 
break existing code.