Updated src/frsh_forb

  > Implemented more precise calculation in negobench
  > Negobench was enhanced to accept the number of contracts from command line
  > frm_dummy properly handles -h switch
  > Added OS/scheduler block to the diagram

diff --git a/src/frsh_forb b/src/frsh_forb
index 1ea884fde65cc43058d39cd85caf8eceaf63d680..e3c9c31ac28c84a291c11eaf3b52eab6b661e570 160000 (submodule)
--- a/src/frsh_forb
+++ b/src/frsh_forb
@@ -1 +1 @@
-Subproject commit 1ea884fde65cc43058d39cd85caf8eceaf63d680
+Subproject commit e3c9c31ac28c84a291c11eaf3b52eab6b661e570