Renamed "ext" folder as "contrib" folder and reorganized a little bit

Renamed any *_APPLICATION as *_SERVICE
   mainly because those components
   such as WSF_APPLICATION, renamed as WSF_SERVICE
   are not always the main application entry, and "service" describe them better
Minor implementation change in WSF_REQUEST
Cosmetics

library/server/ewsgi/connectors/nino/src/nino_service.e

@@ -1,10 +1,10 @@
 note
-	description: "Summary description for {NINO_APPLICATION}."
+	description: "Summary description for {NINO_SERVICE}."
 	date: "$Date$"
 	revision: "$Revision$"
 
 class
-	NINO_APPLICATION
+	NINO_SERVICE
 
 create
 	make,
@@ -12,18 +12,18 @@ create
 
 feature {NONE} -- Implementation
 
-	make (a_callback: like {WGI_AGENT_APPLICATION}.callback)
+	make (a_callback: like {WGI_AGENT_SERVICE}.callback)
 			-- Initialize `Current'.
 		do
 			make_custom (a_callback, Void)
 		end
 
-	make_custom (a_callback: like {WGI_AGENT_APPLICATION}.callback;	a_base_url: detachable STRING)
+	make_custom (a_callback: like {WGI_AGENT_SERVICE}.callback;	a_base_url: detachable STRING)
 			-- Initialize `Current'.
 		require
 			base_url_starts_with_slash: (a_base_url /= Void and then not a_base_url.is_empty) implies a_base_url.starts_with ("/")
 		local
-			app: WGI_AGENT_APPLICATION
+			app: WGI_AGENT_SERVICE
 		do
 			create app.make (a_callback)
 			create connector.make_with_base (app, a_base_url)

library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e

@@ -22,7 +22,7 @@ feature {NONE} -- Initialization
 			set_source (a_source)
 		end
 
-feature {WGI_NINO_CONNECTOR, WGI_APPLICATION} -- Nino
+feature {WGI_NINO_CONNECTOR, WGI_SERVICE} -- Nino
 
 	set_source (i: like source)
 		do

library/server/ewsgi/connectors/nino/src/wgi_nino_output_stream.e

@@ -29,7 +29,7 @@ feature {NONE} -- Initialization
 			set_target (a_target)
 		end
 
-feature {WGI_NINO_CONNECTOR, WGI_APPLICATION} -- Nino
+feature {WGI_NINO_CONNECTOR, WGI_SERVICE} -- Nino
 
 	set_target (o: like target)
 		do