* web/code_graph/view_matrix_codegraph.ml: draw colored labels :)