v0.8.0 (#95)

* Fix some source warnings.

* Bump to v0.8.0.

* Tweaks/fixes to docs.

* Update Dockerfile.

* Apply Google Java format.

Cleanup for v0.7.0 (#23)

* Remove TODOs from README.

* Add missing file header.

* Add `--codegen` flag.

* Some documentation on codegen.

* Fix codegen handling of MST queries.

* README tweaks.

* Save specified IDBs to disk.

* Fix a few codegen bugs.

* Update Dockerfile for codegen; bump to v0.7.0.

Add greeting example.

Merge pull request #1 from HarvardPL/dependabot/maven/junit-junit-4.13.1

Bump junit from 4.12 to 4.13.1

Bump version.

Bumped to version 0.3.0.

Bumped to v0.2.0.

Fix types of some string formula constructors.