Remove references to master (#816)
Remove references to master (#816)

* update to llvm 12, update to latest Z3, fixup fragile tests

* remove references to master branch
google/souper,google/souper,regehr/souper,regehr/souper,google/souper,google/souper,regehr/souper,regehr/souper,google/souper,regehr/souper