ClientServerRunner, ClientServerEvaluationRunner: pass also "disl." properties...

ClientServerRunner, ClientServerEvaluationRunner: pass also "disl." properties to the instrumentation server.

src-test/ch/usi/dag/disl/test/utils/ClientServerEvaluationRunner.java

@@ -48,6 +48,7 @@ public class ClientServerEvaluationRunner extends Runner {
         );
 
         serverCommand.addAll (propertiesStartingWith ("dislserver."));
+        serverCommand.addAll (propertiesStartingWith ("disl."));
         serverCommand.add (_DISL_SERVER_MAIN_CLASS_.getName ());
 
         //

src-test/ch/usi/dag/disl/test/utils/ClientServerRunner.java

@@ -85,6 +85,7 @@ public class ClientServerRunner extends Runner {
         );
 
         serverCommand.addAll (propertiesStartingWith ("dislserver."));
+        serverCommand.addAll (propertiesStartingWith ("disl."));
         serverCommand.add (_DISL_SERVER_MAIN_CLASS_.getName ());
 
         //