[krbdev.mit.edu #7143] krb5_set_trace_filename not exported

[Greg Hudson via RT]

Yes, that's an oversight.  (The krb5_set_trace_callback API also needs to 
be exported, and both also need to be added to krb5_32.def.)