bump LLVM in preparation for blog post
PrintContext is produced by the LHS parser and printer, and
consumed by the RHS parser and printer
changes suggested by Yang
Merge remote-tracking branch 'origin/master' into printcontext

Conflicts:
	lib/Inst/Inst.cpp
	lib/Parser/Parser.cpp
a bit more refactoring

back out version bump, can't remember why I wanted it on this branch
anyway
Merge pull request #110 from regehr/bump-llvm

bump LLVM in preparation for blog post
make printing instruction names optional
Merge remote-tracking branch 'origin/master' into printcontext
oops remove debug stuff
avoid returning a reference to local variable
use a bool to control printing of names as suggested by Peter

s/PrintContext/ReplacementContext/

add two asserts in Parser.cpp
Merge branch 'printcontext' into noinfer

Conflicts:
	include/souper/Inst/Inst.h
	lib/Inst/Inst.cpp
	tools/souper-check.cpp