Documentation for the nested sampling code used in targeted searches for continuous gravitational waves from pulsars