added feature to change widgets text color

Text colors are changeable
- in the global ui settings (saved into umbrellorc)
- in the diagrams color settings (inital load from global settings)
- in the widget color settings

The text color of a widget is saved in the xmi file using the
attribute name 'textcolor'. If an xmi file without this attribute
is loaded the diagrams text color setting is used as text color.