Control of succession

[jcrozum]

This PR implements succession diagram control. Most basic features are covered, though we may need to do some work to make sure this is all compatible with #71.

See #69 for additional details.

[github-actions]

Coverage Report

File	Stmts	Miss	Cover	Missing
nfvsmotifs
SuccessionDiagram.py	141	19	87%	6, 59, 67–70, 104, 114–115, 176, 222, 232, 236, 246, 250, 334–337, 389
control.py	122	13	89%	47, 56, 60, 66, 80, 89–105, 327, 342
interaction_graph_utils.py	142	8	94%	6–9, 57, 70, 95–96
motif_avoidant.py	116	4	97%	25, 58, 72, 110
petri_net_translation.py	84	6	93%	23–24, 52, 63–64, 94
pyeda_utils.py	95	34	64%	12, 56–66, 90, 95, 98–112, 140–144
space_utils.py	110	14	87%	15–16, 36–43, 52, 198, 213, 270
state_utils.py	68	12	82%	15, 55–66, 98, 105, 114
terminal_restriction_space.py	44	3	93%	6–7, 80
trappist_core.py	186	20	89%	10–11, 39, 41, 81, 122, 182, 184, 186, 221–223, 249, 306, 308, 338, 378, 380, 411, 440
nfvsmotifs/FVSpython3
FVS.py	48	10	79%	90–91, 97, 133, 183–189
FVS_localsearch_10_python.py	90	1	99%	179
TOTAL	1343	144	89%

Tests	Skipped	Failures	Errors	Time
227	0 💤	0 ❌	0 🔥	2m 17s ⏱️

[jcrozum]

This PR is not compatible with the recently merged #71. I will make a new PR that is, but I'm leaving this up in the meantime to help me keep track of things.