Cosmetic
fixed various indentations
Removed useless dependencies for ewf_ise_wizard project.
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
Fixed feature comments
Fixed HTTP_CLIENT_RESPONSE when dealing with redirection
   before it was storing some header in the body.
   now we added redirections: ..  which is a list of redirection informations:
     - status line
     - header
     - and eventual redirection body (but at least by default, libcurl does not cache body)

Enhanced the http_client library to be able to write directly the downloaded data into a file (or as convenient thanks to agent).
Initial import Selenium binding