9e8f70d5

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Release autodocodec-0.7.0.0 and autodocodec-exact-0.0.1.0

Two of the bugs the weeder check led to change what gets encoded, and the
Result removal takes something off the API, so these do not belong in a
release nobody was told about.

Also pins the omission: a value whose every field is at its default now has
an exact expected encoding, rather than relying on the generator happening to
produce the default.
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 2m31s 1s 1s 2m32s 2m31s
Eval 2m38s 2m00s 2m00s 4m39s 6s
Build 4m38s 0s - - 0s
Suite 2m31s 2m01s - - 23m41s