Marginalised Gaussian Processes with Nested Sampling