ide: Add possibilities to change some colors in the IDE
This adds a window in the preferences to chose the colors. Other colors could be added in the future.
Note that it uses entries, not any modern colors selectors as those are deprecated in LabelGTK3. The more modern way is not available in GTK2.
fix #397 (closed)