title: Tkinter color name to color object
body: <p>I need to modify a widget's color in some way, for example, to make it darker, greener, to invert it.
  The widget's color is given by name, for example, <code>'orchid4'</code>.
  How do I get RGB values from a color name string?</p>