rename CodeManager to REPLBuffer

CodeManager is a hilariously generic name, and I'm considering adding
a class that could also be described as managing code. Since
CodeManager's main job is to buffer lines that come in from the REPL,
I decided to rename it REPLBuffer.