Server naming scheme

[QuLogic]

We don't have many servers (nominally 1 if load allows it), but if we need to provision a bigger one, and destroy the old, it'd be good to have a reasonable naming scheme. I've found this blog post which seems reasonable. It is for a far higher count of servers than we need, so we can skip a few items, but I think something like the following:

• Servers are named <prefix>.matplotlib.org in A records.
• Servers get a functional CNAME alias (e.g., web01.matplotlib.org). Since we have few servers, I suggest ignoring the geographical and environmental prefixes given in the post.
• matplotlib.org is a CNAME to the functional CNAME of a server.

There are several suggested word pools, but as it's fairly neutral, easy-to-remember, and not-too-difficult-to-spell, I'm going to suggest that we use Planets in our Solar System as <prefix>.

[tacaswell]

This seems sensible to me.