Update README.md
Update README.md

Link to Leonardo's blog post, locating the Z3 binaries.
Restore old compiler
Really restore old compiler. Unit tests are working now
Full (local) NetKAT compilation!
Detangle
Detangle conflict
Last unit test
Last unit test
Put things in order
Flow table compilation working
Reorganization: ONF -> NetKAT Compiler
Reorganization: ONF -> NetKAT Compiler
Start verify refactor
Commenting out tons of code... and adding Z3 Set functions
Easy cases
Missing .mli file
Another easy case
NetKAT compiler extra credit
accurate