Rename clipboard methods

[s1hofmann]

Short overview
The current naming scheme with clipboard.copy(...) and clipboard.paste(...) repeatedly caused people to think it would literally copy and paste content to the environment, instead of just setting/getting the current clipboard content.

Use case
Improve UX of API