I have a set of Digital Terrain Model ASCII grid files; they're the output of a LIDAR survey over our city, and so cover adjacent areas. Now I need to "cut" a polygon out of these files; this polygon is in GeoJSON format and can overlap across more than one of these DTM files.
Then the cut area should be put into a new ASCII grid file, because it needs to be passed to an existing program our team created, with the area outside the polygon.
Here is a diagram to give a more visual description.
How can I execute this operation?
I have GDAL installed, and I have admin rights, so I can install any software I need. Of course it would be better if it was Open Source, but the most important things is that I will have to automate this operation next, so something that works from the command line or has a Python API would be ideal for me.