GitHub #55: Add select-all and duplicate keybindings; fix paste selection semantics