[Dillo-dev] copying to clipboard

I was thinking how I sometimes see where newbies suppose that dillo can't copy and paste because they think ctrl-c must be how everything does copying...and I thought I'd find out what it would take to make that work. Some not-scrutinized code attached. There is this circuitous part where control goes from Layout to SelectionState to Layout again to Platform, which isn't too pleasing...