coq-concurrency-proxy package added