fixes a bug in adt printer (which breaks bap-python integration)

Since the release of BAP 2.0 bap-python integration was broken, as
Tid.name now returns a parseable representation of the knowledge
object and, as a result, we were getting something like
`Tid(0x%deadbeef)` as the input in python.

plugins/print/print_main.ml

@@ -120,7 +120,9 @@ module Adt = struct
  let pp_word ppf = Word.pp_generic ~prefix:`base ~format:`hex ppf
 
  module Tid = struct
- let pp ppf tid = pr ppf "Tid(0x%a, %S)" Tid.pp tid (Tid.name tid)
+ let pp ppf tid = pr ppf "Tid(%#Ld, %S)"
+ (Int63.to_int64 (KB.Object.id tid))
+ (Tid.name tid)
  end
 
  let pp_seq pp_elem ch seq =