Hook up Z3 conversion demo to main.
Hook up Z3 conversion demo to main.

Each view constraint will now be converted to Z3 before your very
eyes, using the default output mode.  (That is, it now outputs
both the AST _and_ the Z3ified constraints).

Tomorrow, tests and getting this to do something useful.

septract/starling-tool,septract/starling-tool