Add copy-to-clipboard feature to snippet UI

Support for code snippets was added to javadoc in JDK-8266666. Snippets are currently rendered as `<pre>` elements with relatively simple style. After discussing a few potential features for the snippets UI we decided to implement a copy-to-clipboard button first. This is generally useful, not very obtrusive, yet it also adds a visual clue to the new feature.