Coq plugin to perform dependent replacement of terms