Nino connector:

- fixed issue related to `ready_for_reading'  now use the `try_...' variant
 - for now Nino does not support persistent connection, then we have to respond with "Connection: close"

REQUEST_FILE_SYSTEM_HANDLER:
 - added not_found_handler and access_denied_handler, so that the user can customize related response

WSF_REQUEST and WSF_VALUE:
 - modified how uploaded file are handled, fixed various issues, and added WSF_UPLOADED_FILE (it is a WSF_VALUE)

WSF_VALUE:
 - added change_name (a_name: like name)
 - added url_encoded_name to other WSF_values

WSF_REQUEST:
 - added `destroy' to perform end of request cleaning (such as deleting temp uploaded files)
 - renamed `raw_post_data_recorded' as `raw_input_data_recorded', and related feature
 - do not store the RAW_POST_DATA in meta variable anymore, but in WSF_REQUEST.raw_input_data is asked

Added WSF_HTML_PAGE_RESPONSE to help user

WSF_REPONSE.redirect_... now use "temp_redirect" as default
  instead of "moved_permanently" which is specific usage

Removed many obsolete features.

library/server/wsf/src/wsf_service.e

@@ -31,13 +31,19 @@ feature {WGI_CONNECTOR} -- WGI Execution
 	wgi_execute (req: WGI_REQUEST; res: WGI_RESPONSE)
 		local
 			w_res: detachable WSF_RESPONSE
+			w_req: detachable WSF_REQUEST
 		do
 			create w_res.make_from_wgi (res)
-			execute (create {WSF_REQUEST}.make_from_wgi (req), w_res)
+			create w_req.make_from_wgi (req)
+			execute (w_req, w_res)
+			w_req.destroy
 		rescue
 			if w_res /= Void then
 				w_res.flush
 			end
+			if w_req /= Void then
+				w_req.destroy
+			end
 		end
 
 end