Stratification development and hackathon notebooks

[bgyori]

This PR generalized stratification using multiple new features: the ability to explicitly exclude/include parameters/concepts in terms of how they are stratified, and handling observables and their expressions during stratification. It also updates the hackathon notebooks with new components.

[codecov-commenter]

Codecov Report

Merging #206 (743aa30) into main (55d6e33) will decrease coverage by 0.04%.
The diff coverage is 79.48%.

❗ Current head 743aa30 differs from pull request most recent head a08ed55. Consider uploading reports for the commit a08ed55 to get more accurate results

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##             main     #206      +/-   ##
==========================================
- Coverage   77.37%   77.34%   -0.04%     
==========================================
  Files          66       66              
  Lines        5277     5331      +54     
==========================================
+ Hits         4083     4123      +40     
- Misses       1194     1208      +14     

Impacted Files	Coverage Δ
mira/modeling/askenet/petrinet.py	96.29% <ø> (ø)
mira/metamodel/templates.py	83.72% <61.11%> (-1.47%)	⬇️
mira/metamodel/ops.py	79.50% <80.00%> (-0.39%)	⬇️
mira/metamodel/template_model.py	63.17% <100.00%> (+0.81%)	⬆️
tests/test_ops.py	92.85% <100.00%> (+0.48%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more