backtraces: extend the design to include python -> OCaml

In particular this allows backtraces from SMAPIv1 services.

Signed-off-by: David Scott <dave.scott@citrix.com>
etc