README

[cyrus-]

for the benefit of the reviewers, we should have a brief overview of how to dive into the repo

[ivoysey]

Absolutely. I'm going to ignore this for a little while, though; with the POPL paper, I wrote a README and then had to rewrite it several times after refactoring something, which was kind of a waste of time.

[cyrus-]

yeah that's fine, just need to do it before submitting