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