A small utility to merge GPX data from the same activity captured on different devices.