Let user choose custom colors

We could extend the color picker by letting users define their custom colors. The colors used in the diagram should be saved in the diagram file itself. Maybe we could even store them in the user settings so that the same colors could be used across different diagrams.