Add requestTimeout to be able to configure TimeoutBox

Author: lchanmann

src/foam/dao/EasyDAO.js

@@ -728,13 +728,19 @@ dao loading, which improves overall startup time.`,
       generateJava: false,
       value: true
     },
+    {
+      name: 'requestTimeout',
+      generateJava: false,
+      units: 'ms'
+    },
     {
       documentation: 'Destination address for server',
       name: 'serverBox',
       generateJava: false,
       factory: function() {
         // TODO: This should come from the server via a lookup from a NamedBox.
         var box = this.TimeoutBox.create({
+          timeout: this.requestTimeout || undefined,
           delegate: this.remoteListenerSupport ?
             this.WebSocketBox.create({uri: this.serviceName}) :
             this.HTTPBox.create({url: this.serviceName})