tracking issue: New python interface

[aborgna-q]

The main goal of this Issue is to define the new python interface for circuit/programs, supported by the exploratory work done in pytket_future.

Blockers:

• Circuit need to keep track of their Extensions #676