Include BinRec in the evaluation

[ruricolist]

In GitLab by @eschulte on Dec 10, 2021, 17:34 UTC:

1. Find a couple of programs in our subject program set with decent test suites.
2. Add a BinRec directory under tools with everything required to build BinRec into a Docker image.
3. Add scripting support to run the tests suites of the selected programs, and trace them with BinRec lifting to LLVM.
4. Compile the resulting LLVM and share the tarball of those results.

Assignees: michaelbrownuc

Migrated from GitLab: https://gitlab.com/GrammaTech/lifter-eval/-/issues/60