general: treat '^' as a color code character, refs #502

As the double ^^ will cancel itself, a string can be decolourized in
a single pass. This also avoid having different characters in the
colourized and decolourized strings.
renderer: commented out unused functions, refs #360