Colors: Added full support for svgnames colors. Those colors take higher priority than dvipsnames colors. This is important because there are some name clashes - some names correspond to different colors in the two namespaces. Now colors displayed by console are maximally close to those supported by latex.