Added evaluation function for math library calls.
Merge branch 'master' of https://github.com/corvette-berkeley/shadow-execution

Conflicts:
	BlameAnalysis/forward/BlameAnalysis.cpp