bash colour codes to html in a string