Bayesian-inference tools for pulsar-timing-array data