Add provenance to raster_mask.py.