Add in debian packaging files to renamed krb5-wallet

The wallet package developed at Stanford has been renamed from wallet to krb5-wallet for inclusion in Debian.