Compiler from pattern to stim circuit

**Is your feature request related to a problem? Please describe.**

Graphix-zx now supports a pattern with Pauli frame, so it's natural to support Clifford simulation for FTQC.

**Describe the feature you'd like**

Implement a compiler from a pattern to a stim circuit.
Create an interface between Pauli frame and logical observables in stim.
