Make MOTD banner fit in 80 chars.

The prior banner needs 90 chars to print and looks garbled on an 80 column
terminal. Who uses an 80 column terminal? Bd808 does.

* add an ascii unicorn!
* Use figlet DOOM font for MediaWiki text
* Home grown rainbow coloring.

Change-Id: I5aa3fcdf176c39c70a623e56c8b71a52504d697c
Workaround for "Unable to determine IP" bug

A recent change to MediaWiki causes phpsh invocations to fail with an "Unable
to determine IP" error. This patch provides a temporary workaround.

Change-Id: Ib579708c2e17717e21911185be22ce9031ff6668
Merge "Make MOTD banner fit in 80 chars."