2.5.1 Status of theme support

Theme support was added in SWI-Prolog 8.1.11. Only part of the IDE tools are covered and the only additional theme (dark) is not net well balanced. The interfaces between the theme file and notably the IDE components is not very well established. Please contribute by improving the dark theme. Once that is complete and properly functioning we can start adding new themes.