A simple skeleton for Coq projects