Add RAMCloud server options

- masterServiceThreads were raised to match current RAMCloud default

Change-Id: I9dc216eff173f6b77fa69fd0cd1d4cc06eafa2f1
diff --git a/onos.sh b/onos.sh
index bb090e8..c8f3dbd 100755
--- a/onos.sh
+++ b/onos.sh
@@ -640,9 +640,13 @@
   local coord_addr=`rc-coord-addr`
   local server_addr=`rc-server-addr`
 
+  local masterServiceThreads=$(read-conf ${ONOS_CONF} ramcloud.masterServiceThreads 5)
+  local logCleanerThreads=$(read-conf ${ONOS_CONF}    ramcloud.logCleanerThreads    1)
+  local detectFailures=$(read-conf ${ONOS_CONF}       ramcloud.detectFailures       0)
+
   # Run ramcloud
   echo -n "Starting RAMCloud server ... "
-  ${RAMCLOUD_HOME}/obj.${RAMCLOUD_BRANCH}/server -M -L ${server_addr} -C ${coord_addr} --masterServiceThreads 1 --logCleanerThreads 1 --detectFailures 0 > $RAMCLOUD_SERVER_LOG 2>&1 &
+  ${RAMCLOUD_HOME}/obj.${RAMCLOUD_BRANCH}/server -M -L ${server_addr} -C ${coord_addr} --masterServiceThreads ${masterServiceThreads} --logCleanerThreads ${logCleanerThreads} --detectFailures ${detectFailures} > $RAMCLOUD_SERVER_LOG 2>&1 &
   echo "STARTED"
 }