A semidefinite program solver for the conformal bootstrap | Synapse