Converted code to void-safety and use better Eiffel feature naming.

Changed feature names to match Eiffel naming conventions.
Updated to use WSF_PAGE_RESPONSE which compute among other the Content-Length http header.
be careful, the redirection_uri could be Void !
Thanks to the "void-safe" compilation, the compiler report an error.
The solution is to use object test such as

if attached redirection_uri as l_uri then
    -- here you can call routien on `l_uri', since you are sure it references a non Void object.