Add String CProver.classIdentifier(Object) method

This is meant to be replaced by java bytecode preprocessing of JBMC and
to be used by models such as Object.getClass.

Author: romainbrenguier

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

@@ -314,4 +314,12 @@ public static int getMonitorCount(Object object)
   {
     return object.cproverMonitorCount;
   }
+
+  /**
+   * Class identifier of an Object. For instance "java.lang.String", "java.lang.Interger".
+   */
+  public static String classIdentifier(Object object)
+  {
+    return object.getClass().getCanonicalName();
+  }
 }