Herbie 2.0.1

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 on the Racket Package server but is otherwise identical to 2.0.