Improved clarity.

Handling of PUSH_PROMISE (including initial headers).
Overview of header encoding using header table and differential coding.
Corrected typo.
Corrected example to use differential encoding.