change `Editor.execCommand` and `CommandManager.exec` to take a String `commandName`

more efficient, practical, and true to the js code (internal uses in
ace.js use strings at the call sites)