Merge pull request #9 from IntersectMBO/praos-performance-updates
Praos-performance-updates added nix flake to build development environment and refined ∆Q model