release 0.2

Complete for-public-release tasks.

version numbering is automatic via git tag, but let's have a branch here for last-minute fixes.