Added names to geojson database, added search/overview function,
accomplished position detection with leaflet plugin