Add a lazy IO sequencing function (#1772)

[jonaprieto]

It would be beneficial in some cases to consider a lazy version of the sequencing operator (>>) to not lose some output/precomputations in case the program crashes. For example, assuming there exists a "fail" function (PR #1771 ). Currently, we only get the error message "Something's wrong", where one could have been interested in seeing the output "Answer" as well.

module builtinFail;
  open import Stdlib.Prelude;

  builtin fail axiom fail : {A : Type} → String → A;

  main : IO;
  main := printStringLn "Answer"
    >> fail "Something's wrong";
end;