Daphne Pfister authored Jun 23, 2014 and Alan Coopersmith committed Jul 06, 2014

While CSS colors are based on X11 color and mostly the same there
are a handful that have different values: gray, grey, green, and
maroon. Add versions of the color names with X11 and Web prefix so
that tools that process rgb.txt can get either version.

Reviewed-by: Alan Coopersmith <alan.coopersmith@oracle.com>
Signed-off-by: Alan Coopersmith <alan.coopersmith@oracle.com>