Name of buildbot master machine

[Olav Vitters <olav bkor dhs org>]

Currently the buildbot machine is named tinderbox1. I'll rename that
soon to some sysadmin specific name.

However, the public website should have another name as well.
http://tinderbox1.gnome.org/ just sucks.

I noticed some mention of http://buildbot.gnome.org/, but I don't quite
like that. Rather have a non-service specific name (but
continuous-integration.gnome.org is too long and typo sensitive).

Anyone have a better suggestion? If not, it'll probably end up as
buildbot.

-- 
Regards,
Olav