Some REPL history improvements

I made some small changes to the REPL history:
* Namespace switching comments are not included in the REPL history anymore.
* Preferences for REPL history: (1) maximum history size and (2) persistence schedule