add packages for coq and alt-ergo

packaging coq and alt-ergo for windows