app for dot graphs coloring