REPL: main_prompt => julia_prompt

Everything else is named by what it does; this code could be reused
so that the julia_prompt is no longer the main prompt.
REPL history: use non-binary history format [close #6348]
Merge pull request #7110 from JuliaLang/sk/history

new non-binary .julia_history format