coq-elpi: update

[gares]

Motivation for this change

Update to more recent releases

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Determined the impact on package closure size (by running nix path-info -S before and after)
• Ensured that relevant documentation is up to date
• Fits CONTRIBUTING.md.

[gares]

CC @CohenCyril @vbgl , I really don't know what I'm doing here, but it works in our CI math-comp/hierarchy-builder#191

[CohenCyril]

@GrahamcOfBorg build coqPackages_8_11.coq-elpi coqPackages_8_11.hierarchy-builder coqPackages_8_12.coq-elpi coqPackages_8_12.hierarchy-builder coqPackages_8_13.coq-elpi coqPackages_8_13.hierarchy-builder