holoirc: move colours to HoloIRC

* huge changes everywhere for moving colours from Relay to HoloIRC
* finally means that themes don't need to kill all the servers - makes it more reliable
* also remove horrible HTML-esque parsing for tags - use a modified version of Formatter to do the spanned formatting