Herbie 1.1

Herbie's second release makes Herbie easier to use with a new web-based interface, more helpful errors, and expanded support for trigonometric and hyperbolic functions, plus speedier and more precise core algorithms.