Create krb_modprinc_all

Script for adding/changing/deleting a Kerberos option to/from all users.