let users access iFrame helper tactics

Perennial has a custom iFrame implementation that's less powerful but faster; it needs these tactics exposed if it shouldn't copy them.

Local Ltac is entirely unavailable to other modules (not even in qualified form), so not making these Local seems to be the only way.