dyPolyChord: dynamic nested sampling with PolyChord