Convex Over and Under Envelopes for Nonlinear Estimation - View it on GitHub