external get : Gdk.atom -> clipboard = "ml_gtk_clipboard_get"