distorted.lisp: Publish our standard abbreviated names in a subdomain.

We've been using abbreviated names for our hosts for ages, but haven't
published the abbrevations in DNS.  Now they're all in the `abbrev'
subdomain, as CNAME records pointing at the primary names.

Also publish `strat.NET' and `tele.NET' aliases.  I don't know why
these weren't published before.

This is a bit ugly.  It'd be nice to work out a better way of doing it.