new non-binary .julia_history format

https://github.com/JuliaLang/julia/issues/6348