fix(emacs/lean-project): use better prompt message for lean-project-create
fix(emacs/lean-project): use better prompt message for lean-project-create