`depext`s for EasyCrypt?

[fdupress]

Building easycrypt requires git (for version tag generation).

Running easycrypt in most useful settings requires python and python-curses (and optionally python-yaml)—for runtest (and optionally reporting from it).

Should we add those as external dependencies in the opam package definition?