Socket: Remove dead member fields.
Socket: Remove unused timer.
Socket: Don't set unused SO_TIMESTAMP socket option.

Remove request for kernel timestamps, since 1) Socket uses assign_now
(gettimeofday) anyway (instead of using the kernel timestamp), and 2)
kernel timestamps are only available for datagram sockets (on Linux,
at least); see e.g. this thread:

    "[PATCH] tcp: SO_TIMESTAMP implementation for TCP"
    http://comments.gmane.org/gmane.linux.network/159574
Clipboard: Bugfix (possible push of NULL packet).
Merge pull request #131 from kwi-dk/bugfixes

Socket and Clipboard bugfixes