Toward a packaging system for Coq