minor ui improvements

[x87]

• [x] collapse filters and extensions list by default on mobile screen (collapsible directive)
• [x] switch modal/rail on window resize
• [x] lock save/submit button on click
• [x] ~~param types dropdown in the editor is cut~~ not reproducible
• [x] avoid scrolling of the commands list after save
• [x] command toolbar on the list overlaps long command name
• [x] more distinctive style for checkboxes
• [x] ~~modal on mobile device is not positioned correctly when the page is scrolled~~ not reproducible
• [x] changing opcode in address bar does nothing
• [x] add dropdown under user name with a link to the github profile and logout
• [x] change page title depending on route
• [x] prevent page reload when there are unsaved changes
• [x] if submitting a change leads to an error due to lack of permissions, library should suggest to the user to request access to the git repo
• [ ] hotkeys to navigate between next/prev command (Ctrl+Arrow Up/Arrow Down), search (Ctrl+/)
• [ ] button to copy class/keyword name/snippet (copy directive)
• [ ] keep scroll position of the list when open/close right rail
• [ ] scroll to the element in the list when opcode id in query params changes
• [ ] game support text not displaying on mobile
• [ ] selected filters should stay on page refresh
• [ ] make a peek preview for enums in the types picker
• [ ] highlight consecutive words in the description if they form a param name ( this value -> thisValue )