polychord: nested sampling for cosmology | Synapse