Adding dev dependency

so that it can be included in coq-bench