Add hyper's HPACK output (Attempt 2)

This is the second attempt at #13, this time with the critical bug we found in that Pull Request fixed. @tatsuhiro-t, do you mind running your verification tool again to confirm that this is OK?