Save and restore marks ` and ' in the source buffer while updating REPL