Predicate getOpaqueTagIdentityString

Gets a string that uniquely identifies an IROpaqueType tag. Using toString here might not be sufficient to ensure uniqueness, but suffices for our current debugging purposes. To ensure uniqueness getOpaqueTagIdentityString from semmle.code.cpp.Print could be used, but that comes at the cost of importing all the Dump classes defined in that library.