Use buildbot.tux3.org DNS alias

Signed-off-by: OGAWA Hirofumi <hirofumi@mail.parknet.co.jp>