Use port number 9090 instead of 80

Port 80 is often already used by standard webservers (Apache, nginx, ...).
Moreover, on Linux, ports below 1024 can only be opened by root.

examples/simple/application.e

@@ -8,12 +8,23 @@ class
 
 inherit
 	WSF_DEFAULT_SERVICE
+		redefine
+			initialize
+		end
 
 create
 	make_and_launch
 
 feature {NONE} -- Initialization
 
+	initialize
+			-- Initialize current service.
+		do
+			set_service_option ("port", 9090)
+		end
+
+feature -- Basic operations
+
 	execute (req: WSF_REQUEST; res: WSF_RESPONSE)
 		do
 			-- To send a response we need to setup, the status code and