Fixed and improved various issue in admin module (especially the Role editing which was not working as expected.)

Added CMS_MODULE.permissions to allow module to declare the potential permissions.
Added support for CMS_LINK.is_forbidden, in relation with CMS_LOCAL_LINK.permission_arguments.
Split link "username (Logout)" into 2 links "username" and "logout".
Fixed/Changed the way auth modules alter the logout link based on "(Logout)" title, by safer solution based on `location' of the link.

Fixed usage of WSF_REQUEST.path_info by using percent_encoded_path_info which is not non unicode path info to be used most of the time.
Merged CMS_REPONSE.variables and CMS_REPONSE.values .
When possible, prefer usage of CMS_RESPONSE.user instead of CMS_REQUEST_UTIL.current_user (WSF_REQUEST) whenever it is possible.
When possible, prefer usage of CMS_RESPONSE.location, rather than usage of WSF_REQUEST.(percent_encoded_)path_info .
Code cleaning.

src/theme/cms_theme.e

@@ -148,46 +148,45 @@ feature {NONE} -- Implementation
 		local
 			cl: STRING
 		do
-			debug ("refactor_fixme")
-				fixme ("Remove HTML from Eiffel")
-			end
-			create cl.make_empty
-			if lnk.is_active then
-				cl.append ("active ")
-			end
-			if lnk.is_expandable then
-				cl.append ("expandable ")
-			end
-			if lnk.is_expanded then
-				cl.append ("expanded ")
-			end
-			if cl.is_empty then
-				s.append ("<li>")
-			else
-				s.append ("<li class=%""+ cl + "%">")
-			end
-			s.append ("<a href=%"")
-			s.append (url (lnk.location, Void))
-			s.append ("%">")
-			s.append (html_encoded (lnk.title))
-			s.append ("</a>")
-			if
-				(lnk.is_expanded or lnk.is_collapsed) and then
-				attached lnk.children as l_children
-			then
-				s.append ("<ul>%N")
-				across
-					l_children as c
-				loop
-					append_cms_link_to (c.item, s)
+			if not lnk.is_forbidden then
+				create cl.make_empty
+				if lnk.is_active then
+					cl.append ("active ")
 				end
-				s.append ("</ul>")
+				if lnk.is_expandable then
+					cl.append ("expandable ")
+				end
+				if lnk.is_expanded then
+					cl.append ("expanded ")
+				end
+				if cl.is_empty then
+					s.append ("<li>")
+				else
+					s.append ("<li class=%""+ cl + "%">")
+				end
+				s.append ("<a href=%"")
+				s.append (url (lnk.location, Void))
+				s.append ("%">")
+				s.append (html_encoded (lnk.title))
+				s.append ("</a>")
+				if
+					(lnk.is_expanded or lnk.is_collapsed) and then
+					attached lnk.children as l_children
+				then
+					s.append ("<ul>%N")
+					across
+						l_children as c
+					loop
+						append_cms_link_to (c.item, s)
+					end
+					s.append ("</ul>")
+				end
+				s.append ("</li>")
 			end
-			s.append ("</li>")
 		end
 
 note
-	copyright: "2011-2014, Jocelyn Fiat, Eiffel Software and others"
+	copyright: "2011-2015, Jocelyn Fiat, Javier Velilla, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
 	source: "[
 			Eiffel Software