A small tool for geocoding