Better header support in the View API.

Views now have a $headers array, where custom headers can be set and then sent to the browser during render.
Other minor fixes regarding headers and some documentation tweaks.