let users choose their own leader key, simplify menu

Since not all vim users might like to use the comma as their leader, we
can simply use "<leader>" instead of "," when mapping the editor tools
commands.

The function generating the menu was overly complex AND didn't work
(cancelling by entering an empty string didn't work, although vim
advertized it).