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)