Adds in OS menu options; what a novel idea!
This also allows you to copy/paste from inside the terminal output, something very valuable when debugging.
Also, I reworked the ctrl+r listener to be more universal, so you can run it even when focused inside the terminal.