Minor edit: entropy already defined
Populated with secGK.tex
Made some changes in Grig-Karp.

The bounds are perhaps a *little* weaker but it seems more transparent this way.
Some rearrangement GK proof
Merge branch 'content_GK'