New: tools/srtm/download_all.php to download all SRTM files from cmd line.