Enhanced HTTP_HEADER with new helper features.
Implemented more user friendly WSF_RESPONSE
i.e allow to change the status code and the header as long as no content is really sent back to the client

This requires an addition WGI_RESPONSE, new post_commit_action: PROCEDURE [...]
Third iteration of contracts for non-Void-safe users
Fourth round of contracts for non-Void-safe users
Merge pull request #28 from jocelyn/flexible_response

Allow to change status code and header as long as no content is sent.
Note this includes a change in EWSGI classes related to connector and RESPONSE. This modification was required for request processing termination.
Merge pull request #42 from colin-adams/master

Contracts for non-Void-safe users (take 3)
Fifth round of contracts for non-Void-safe users
Merge branch 'master' of github.com:EiffelWebFramework/EWF

Pulling latest merges of other developers commits.
Merge pull request #43 from colin-adams/master

Contracts for non-Void-safe users (take 4)
Sixth round of contracts for non-Void-safe users
Merge pull request #44 from colin-adams/master

Contracts for non-Void-safe users (take 5)