Reintroduce getMonitorCount

This is a partial revert of commit
3712b2d which removed getMonitorCount,
probably by mistake.

Author: romainbrenguier

src/main/java/org/cprover/CProver.java

@@ -306,4 +306,12 @@ public static void arraycopyInPlace(byte[] src, int srcPos, byte[] dest,
           dest[destPos + i] = src[srcPos + i];
       }
   }
+
+  /**
+   *  Retrieves the current locking count for 'object'.
+   */
+  public static int getMonitorCount(Object object)
+  {
+    return object.cproverMonitorCount;
+  }
 }