Use keyboard_manager instead of hack for 'indentLess' hotkey

Old extension doesn't work anymore. Use offical `keyboard_manager` instead of intercepting keyboard events in codemirror.