Pairing a càdlàg path with a continuous path

Compatibility module re-exporting the metric-space-valued pairing API from ProductPaths.