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

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