Add `list_srtm3_files.sh`
Add `get_srtm3_uri.sh`