* Add coap_spark-0.10.0
CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) in SPARK/Ada, with client and server sides.
* Add coap_client-0.10.0
* 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