Modernize ATHENA.MIT.EDU configuration

* Remove the default port number from kdc specifications; it is redundant
* Remove default_domain, used only used for mapping krb4 names to krb5 names
* Add a master_kdc entry