Add script to copy a fragment of the log to the clipboard (PR #9280)
Fixes #9280
When debugging, it was a pain to delimit the relevant fragment of the log.
A global command has been added which marks the current end of the log as the start position of the fragment. When executed again, the fragment of the log is copied to the clipboard.