start adding builderci harness
ping
download z3 from binaries branch
ping
Constraints requires Puzzles for now, because the tests are lodged in there
update Constraints package
build current branch and repo
another attempt