Add contrib/minizork.z3

AFAICT, this is legally okay. I dunno.
Node & browser can access minizork for tests

browserify + rfile + testem == very good time