fixed harmonic example and updated NestedSampling documentation