Binary Dezyne distribution

Find more information here:

   https://verum.com/download

Try:

  ./dzn hello
  ./dzn --verbose verify examples/hello.dzn
  ./dzn code --language=c++ examples/hello.dzn

See also NEWS and the examples directory.
