Moved convex optimization tools into convex.js.