tracking(http): HTTP request/response parsing

[Autoparallel]

Idea

The WebProof sequence will also require us to verify that a given HTTP request and associated response match an expected structure to some extent. Therefore, we need to make a basic HTTP parser for this that we can improve over time.

Tasks

• refactor: organize circuits directory to prep for parsing multiple filetypes #47
• feat(http): parse into "zones": method, headers, body #52
• feat(http): proof template HTTP request method matches #53
• feat(http): parse headers into request, general, representation #54
• feat(http): proof template Host matches #55
• feat(http): proof template arbitrary Headers matches #56
• feat(http): proof template body structure parses (e.g., JSON) #57
• feat(http): parse into "zones": method, status, headers, body #58
• feat(http): proof template HTTP response status matches #60