add http.Header to RequestExtra

[jba]

Make incoming HTTP headers visible to tool handlers and other user code.

One use case: a tool can pass select headers on to backends.

See #292.

[jba]

#292 must land before work on this can begin.