Handle infix op/jlist interaction for Unicode to ASCII conversion

[ahelwer]

As documented in the complications section of the readme, this case still needs to be handled for Unicode to ASCII conversion

---- MODULE Test ----
op ≜ ∧ A
     ∧ B
      ⇒ C
====

The test test_non_terminating_infix_op_from_unicode is currently set to #[ignore] and checks for proper handling of this issue.

[ahelwer]

This can probably be done by looking for junct bullets that span multiple lines, then prepending spaces to those lines as the jlist is shifted.