help: change the help prompt to "help?>" – it looks rather nice.

It was pointed out at some point that including the `?` in the help
prompt might assist new users in remembering that typing `?` gives
you the help prompt. It also just looks good, imo.
REPL history: use longer, explicit strftime format [fix #7182]