A command-line tool and Python module to assign a property from one set of GeoJSON features to another