Update pbbs submod to include new HSBencher support.
Get rid of experimental typesetting stuff we won't use.
Move poster and update poster README.
Merge branch 'master' of github.com:iu-parfunc/lvars
README updates.  Add individual READMEs for Redex models.
More README updates.
Some simple refactorings
Merge branch 'master' of github.com:iu-parfunc/lvars
Make LVish/lambdaLVar each self-contained; more README updates.
Merge branch 'master' of github.com:iu-parfunc/lvars
Add info about version requirements.