New string function, remove_color_tags().  Turns "<c=red>Hello<c=/> World" into "Hello World".