Merge pull request #112 from GaloisInc/bump-reopt-vcg

chore: bump reopt-vcg submodule

Merge pull request #66 from GaloisInc/jhx/docker

Update dependencies; add packages to docker eval image.

This tag is just before dropping Reopt's CFAR tools.