Add copy button to the serial monitor

[Pieter12345]

Add a copy button to the serial monitor that copies the text in the serial monitor output area to the system clipboard. This is useful since ctrl-a + ctrl-c does not work when the serial monitor is spammed at a high rate.

Related: https://github.com/arduino/arduino-ide/issues/1729.

[facchinm]

@ArduinoBot build this please

[ArduinoBot]

:white_check_mark: Build completed.

Please test this code using one of the following:

:arrow_down: http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-linux32.tar.xz :arrow_down: http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-linux64.tar.xz :arrow_down: http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-windows.zip :arrow_down: http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-macosx.zip :arrow_down: http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-linuxarm.tar.xz

:information_source: The linuxarm build is still experimental and may not be always available.

[Pieter12345]

Rebased onto master (force-push). No additional changes were made.

[facchinm]

I just started to wonder if we can avoid the button by adding a contextual menu on the serial monitor itself with 2 entries:

• copy selection
• copy all Would it make sense? @per1234 @tigoe @mbanzi

[per1234]

I like the context menu idea. It seems like a fairly intuitive UI.

[tigoe]

My usual solution to this is to turn off autoscroll, then use a crtl-A, crtl-C. It makes me think it's worth adding a keyboard control for autoscroll, so you could use keys to do this all the way through. Would be better for accessibility too. context menus can be a pain for screen readers.

[Pieter12345]

Rebased this PR onto master.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}