Add free_krb5() that frees resources allocated by init_krb5()
Free allocated memory properly if an error occured.