Various small tools for dealing with our gpx files