Added `base_url' for REQUEST_ROUTER (and descendants)

Fixed implementation of REST_REQUEST_AGENT_HANDLER to avoid wrong path in inherited routine.
Allow to build a URI_TEMPLATE from another URI TEMPLATE,
   this way, if later we have more attribute (status or settings) to URI_TEMPLATE,
   we'll be able to change the `template' without breaking the settings

library/server/request/rest/src/rest_request_agent_handler.e

@@ -9,14 +9,15 @@ class
 
 inherit
 	REQUEST_AGENT_HANDLER [C]
-		redefine
-			execute
+		rename
+			execute as execute_application
 		end
 
 	REST_REQUEST_HANDLER [C]
-		redefine
+		select
 			execute
 		end
+
 create
 	make
 
@@ -38,26 +39,6 @@ feature {NONE} -- Implementation
 
 	internal_authentication_required: BOOLEAN
 
-feature -- Execution
-
-	execute (ctx: C; req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER)
-		do
-			if
-				authentication_required (req) and then not authenticated (ctx)
-			then
-				execute_unauthorized (ctx, req, res)
-			else
-				pre_execute (ctx, req, res)
-				Precursor {REQUEST_AGENT_HANDLER} (ctx, req, res)
-				post_execute (ctx, req, res)
-			end
-		end
-
-	execute_application (ctx: C; req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER)
-		do
-			check should_not_occur: False end
-		end
-
 ;note
 	copyright: "Copyright (c) 1984-2011, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"