Herbie 2.0.2

Herbie 2.0 focuses on clarity, transparency, and trade-offs. It features new support for speed-accuracy trade-offs, new reports and metrics, and auditable derivations for Herbie's internal steps. This re-release works around an issue building binary packages but is otherwise identical to 2.0.