first temptative for a coq.8.3 opam package
few updates