Issue479 dark theme
This is to make the label decorations compatible with the Dark theme in Eclipse. The implementation consists in a preference setting that allows the user to request that the decorator do not paint background colors of file names. Basically, the status-based decoration can then be limited to the color of the text: the decorator will not try to apply background colors.