Bash script to install Nominatim