Add krb5-appl conversion script