merge Merge branch 'master' of https://github.com/SRI-CSL/whole-program-llvm
merge
Merge branch 'master' of https://github.com/SRI-CSL/whole-program-llvm

riyadparvez/whole-program-llvm,travitch/whole-program-llvm,BenjaminSchubert/whole-program-llvm,riyadparvez/whole-program-llvm,riyadparvez/whole-program-llvm,BenjaminSchubert/whole-program-llvm,riyadparvez/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm,SRI-CSL/whole-program-llvm,BenjaminSchubert/whole-program-llvm,travitch/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm,SRI-CSL/whole-program-llvm,BenjaminSchubert/whole-program-llvm,SRI-CSL/whole-program-llvm