Add downsample.py.