Compressor: adding minimal logging of the compression process.
Compressor: proper handling of numerical header values.
Example: adding server push example.