GUI: Take care of stock copy/paste/cut

Use icons, no matter what gtk+ says.  We cannot have a toolbar without
icons for some items.