Herbie 1.0

This is the first production-ready release of Herbie, featuring a new standard input format, faster operation, many stability improvements, and more. See the full release notes for more details.