When requiring a theory, `Top` refers to the callee, not the caller.

[fix #17112]
Cleanup _tags
When requiring a theory, use the post-prelude env instead of the pre-prelude.

[fix #17138]
Merge branch '1.0' of git://ci.easycrypt.info/easycrypt into 1.0
Merge branch '1.0' of ssh://github.com/dominique-unruh/easycrypt-tartu into 1.0
Add a keyword for distinguishing root namespace from current namespace

- `Top` refers to root namespace,
 - `Self` refers to current (theory in construction) namespace.

[ref #17112 & #17138]
new proof of false
Fix incorrect assertion check.
Fix bug in while rule for prhl
Merge branch '1.0' of git://ci.easycrypt.info/easycrypt into 1.0
simplified Ctrl-C handling. Works well with smt, not always with complex tactics.