Changes I made to implement Ansi REPL

As per our discussion on the mailing list, I propose these changes for review.
_Important Note_: this also includes a commit that reverts the version to 0.25.0.qualifier