Add `SymbolicContext::canonical_bn_context`

[daemontus]

This should produce a new context object which only uses state/parameter variables, but has no extra state variables. This way, we can obtain a context which would be valid for the original BooleanNetwork that was used to create the context.

[daemontus]

This is now implemented with SymbolicContext.as_canonical_context.