an alternative bwt_invPsi() implementation

Cleaner, but not necessarily faster.