JKind 4.4.0

This release adds support for Sally-formatted results. It also adds the full source to the JAR for convenience in debugging interactions with clients. The changes are very small, but extend the API. Thus, a minor-level release is warranted.