Provide GeoJSON data

[pescetti]

Scope

The upstream repository https://github.com/pcm-dpc/COVID-19 already provides CSV and JSON, as well as pure-geography (without data) geojson files.

For many mapping use cases it would be better to have GeoJSON files with embedded data.

Tasks

• Provide a GeoJSON file for provinces
• Provide a GeoJSON file for regions

[pescetti]

GeoJSON file for provinces is at https://github.com/pescetti/COVID-19/blob/master/dati-geojson/dpc-covid19-ita-province.geojson

Github's preview is useless as it will only count the number of records (so if we have data for 20 days in Parma it will show a marker on Parma with the number "20"). http://geojson.io will display a more informative preview.

Format of each GeoJSON record:

    {
      "type": "Feature",
      "properties": {
        "id": "PR1583946000",       // Province and time of observation
        "count": 378,               // Number of total cases
        "time": 1583946000          // Time of observation
      },
      "geometry": {
        "type": "Point",
        "coordinates": [
          10.32834985,
          44.80107394,
          0
        ]
      }
    },

This allows easy parsing and filtering in mapping applications.