Broken link and small typo in README

[chenson2018]

Broken Link: The link to Verified Quantum Computing (http://www.cs.umd.edu/~rrand/vqc/index.html) in the first paragraph appears to be broken, maybe could be updated to https://rand.cs.uchicago.edu/vqc/index.html?

Typo: Under "Using With Other Projects" the url htts://github.com/inQWIRE/SQIR.git is missing the "p" in https

Wonderful work by the way, it's been a pleasure reading through all the papers/code!

[timotheeMM]

PR #56