Removed incorrect postcondition for handle_use_proxy
Merge pull request #52 from colin-adams/master

Bad postcondition for handle_use_proxy
Fixed HEAD request related issue

see https://github.com/EiffelWebFramework/EWF/issues/53
Merge branch 'master' of https://github.com/EiffelWebFramework/EWF