Change to use Picos for scheduler interop

[polytypic]

This PR changes Kcas to use Picos instead of DLA and DLT for scheduler interop.

⚠️ This must obviously not be merged before at least a first release of Picos has been published on opam, but this should be ready enough for preliminary review.