Merge pull request #56 from diffblue/develop

Release version 1.9.0

Merge pull request #47 from diffblue/release/1.8.0

Release 1.8.0

Merge pull request #43 from diffblue/develop

Release v 1.7.0

Merge pull request #38 from diffblue/develop

Release 1.6.0.

Merge pull request #32 from diffblue/develop

Release 1.5.0

Merge pull request #28 from diffblue/develop

Move ManagedByDiffblue to be an annotation

Merge pull request #20 from diffblue/develop

Release 1.3.0

Merge pull request #17 from diffblue/develop

Release 1.2.0

Merge pull request #6 from diffblue/release/1.1.0

Update version to 1.1.0

Update license headers