editrc for mysql CLI keybindings