Remove krb5-clients and vgrind

Neither of these packages is provided by either Debian or Ubuntu
upstream.