load `imandra_ptime` via `require` instead of `import`

[Bronsa]

after updating imandra-ptime to latest master, we can require it (after it's installed as a normal opam dep)