Keep a collection of interesting KLEE extensions. References PRs that are currently too invasive to extend KLEE or too outdated. Still, they can be inspiring or a base for new extensions.