Notes for trip
Remove inaccurate copyright notices, ha
Sync before trip
Clean out oneoff junk and fix makefile
Kinda fix makefile.
Annular certificate search (makefile DNC, but I want to fix this on my real computer)
Clean up makefile; add some stragglers
Solve for the center (Chebyshev) of the feasible region in mixed certificates. This helps prevent roundoff error and promotes cert reuse.