Timing gamma-ray pulsars using Gibbs sampling | Synapse