Resolve issue #1: Copy to clipboard

Javascript can now place text on the clipboard via
utilities.copy_to_clipboard(text)