Ensure that the krb5-admin-server is running.

Re-do of #5, with all changes squashed into a single commit.