Rename "Shortcuts" to "Hotkeys"#1668

Arnei wants to merge 1 commit intoopencast:developopencast/editor:developfrom

Arnei:rename-shortcuts-to-hotkeysArnei/opencast-editor:rename-shortcuts-to-hotkeysCopy head branch name to clipboard