* coap_spark 0.9.0 (via `alr publish`)
* Include coap_client as subdir of the coap_spark repository
* coap_spark: remove unneded dependency for users
* Revert "coap_spark: remove unneded dependency for users"
This reverts commit d8c395bfa6.
The dependency is needed for SPARKlib, which is not packaged
separately from gnatprove.
Manuel