Function: read-extended-command

Read command name to invoke in `execute-extended-command'.