Python-like repl banner