[Grok-dev] move "official" documentation from grok package to groktoolkit?

[Jan-Wijbrand Kolman]

Hi,

Wouldn't it make sense to move the `doc` directory in the grok checkout 
to the groktoolkit package? When making the 1.2 release I felt it might 
be a better place for it.

regards, jw