Update README with FMCAD citation.

MIT license

fix path

fix path

Move installation instructions into root README

Prepare setup directions

rename z3ml => tyro in executable names and docs

rename folders

version used for experiments

large variety of fixes/changes/features to get analysis running

Fix formatting in z3ml/README.md

Split repo into frontend and backend; include frontend

Backend functional completion

Complete initial implementation

Initial commit