<a title="Better pickling and diffing" href="https://github.com/convexengineering/gpkit/pull/1472">PR #1472</a>: Better pickling and diffing