Build automation#3

Open

Ari-Zerner wants to merge 12 commits intobytekid:masterfrom

Ari-Zerner:build-automation

Commits on Sep 19, 2019

Remove redundant code
Ari-Zerner
committed

Commits on Jun 16, 2020

Commits on Jun 22, 2020

Commits on Jul 4, 2020

Bug fix
Ari-Zerner
authored

Commits on Jul 7, 2020

Commits on Sep 21, 2020

Build Z3 from source instead of using opam
Ari-Zerner
committed

Commits on Sep 22, 2020