tracking(http): HTTP response parsing

[Autoparallel]

Idea

We want to be able to parse specific sections for HTTP responses and prove statements about them. This page has a lot of relevant data. Thanks, Mozilla!

The below tasks aren't necessarily broken across perfect boundaries. Instead, they're stages of complexity of parsing more and more rich HTTP.

Tasks

• feat(http): parse into "zones": method, status, headers, body #58
• feat(http): parse headers into response, general, representation #59
• feat(http): proof template HTTP response status matches #60
• feat(http): proof template arbitrary Headers matches #61
• feat(http): proof template body structure parses (e.g., JSON) #62