v0.2 - first release as standalone executable (linux-x64)

First release as (almost) standalone executable.

Platforms: currently only "linux-x64"
(needs third-party shared library "libz3.so", which is included; set LD_LIBRARY_PATH accordingly).