Add a GUI to customize keyboard shortcuts

Follows #68 (comment 17111), since #68 (closed) was closed by !42 (merged).