nominatim: make revision of git repo configurable