Fixed bug 1251252: Minibuffer commands created by mod_scripting.py have no docstrings.

https://bugs.launchpad.net/leo-editor/+bug/1251252

F11 (help-for-command) now works for @button & @command nodes.

Leo build: 20141029184921