Add opam package for stdlib + various fixes

This adds an opam package refinedrust-stdlib for the stdlib. Also, this fixes some things around the rr::context annotation, adds more later credits, and adds the static_has_refinement assertion to make timeless statements about refinements of statics.

TODO: fix nix build for this, probably we can use some parts from the build system branch

added 2 commits

• d56f6661 - modularize build
• 27b3fe5a - remove align parameterization

Compare with previous version

added 1 commit

• b87afb94 - use nix make

Compare with previous version

added 3 commits

• 22bcbef8 - bitwise ops for bool
• 14a4af11 - Merge branch 'lennard/install-stdlib' of...
• ae236c95 - fix ci?

Compare with previous version

added 1 commit

• 43d2f655 - fix opam build

Compare with previous version

added 8 commits

• 43d2f655...1afdd567 - 2 commits from branch main
• ddf88d41 - also install stdlib
• b15e9953 - generate more later credits
• 1484821a - improve statics
• c55e2bf4 - frontend additions
• b2078506 - bitwise ops for bool
• cbeafb0c - fix makefile

Compare with previous version

added 5 commits

• 6938efc5 - also install stdlib and modularize build
• 1e8d90e4 - generate more later credits
• 1bfc4b36 - improve statics
• 7399f3c6 - frontend additions
• 2b64e1a8 - bitwise ops for bool

Compare with previous version

added 5 commits

• 9831c847 - also install stdlib and modularize build
• 2eb59702 - generate more later credits
• cf873084 - improve statics
• 3f3bf3a0 - frontend additions
• edbbc655 - bitwise ops for bool

Compare with previous version

enabled an automatic merge when the pipeline for edbbc655 succeeds

@lafeychine this integrates some of your changes from the pldi24-artifact branch now. In particular, we have a separate opam package and build target for stdlib. We can think about how to integrate the other improvements from that branch later

mentioned in commit f3f5f670

merged