Removed threading

It seems that all the threading hacks were not needed after all, since
the gtk loop can take care of the communication with the webkit widget
on its own.