Add SensorThings API EDR Provider

[webb-ben]

Overview

This PR introduces the SensorThings API EDR provider to pygeoapi core ported from https://github.com/cgs-earth/pygeoapi-plugins. The EDR provider is an implementation of the feature provider on the ObservedProperty entity. Using deep selection filters we are able to construct the necessary .

In the documentation I am not entirely sure how to relate query types and query arguments - each EDR Query Type has its own set of query arguments.

Related Issue / discussion

Additional information

L408-409 in pygeoapi/provider/sensorthings_edr.py note a TODO to recursively expand observations. This can be really expensive if query params aren't filtering the size of the response. Until EDR with limit as a query param is ready to be implemented, the default number returned by the SensorThings server is more than enough. Note that certain queries can be pretty taxing on the SensorThings endpoint especially without proper indexes created.

Some views of queries:
Cube/Area:

Locations:

Dependency policy (RFC2)

• I have ensured that this PR meets RFC2 requirements

Updates to public demo

• I have ensured that breaking changes to the pygeoapi master demo server have been addressed
  • https://github.com/geopython/demo.pygeoapi.io/blob/master/services/pygeoapi_master/local.config.yml

Contributions and licensing

(as per https://github.com/geopython/pygeoapi/blob/master/CONTRIBUTING.md#contributions-and-licensing)

• I'd like to contribute [feature X|bugfix Y|docs|something else] to pygeoapi. I confirm that my contributions to pygeoapi will be compatible with the pygeoapi license guidelines at the time of contribution
• I have already previously agreed to the pygeoapi Contributions and Licensing Guidelines

[doublebyte1]

Very nice @webb-ben : Thank you for this! 👍🏽

Maybe you could consider adding an example here? https://github.com/geopython/pygeoapi-examples