Added phinode - have yet to fully integrate it
Merge branch 'master' of github.com:corvette-berkeley/shadow-execution

Conflicts:
	FastBlameAnalysis/Glue.cpp