SocketManager: fix timeslice exceeded log message

We were passing a 64-bit int to printf where it expected a 32-bit int, so on
some architectures the varargs were interpreted incorrectly.
Merge into master from pull request #20:
SocketManager: fix timeslice exceeded log message (https://github.com/floodlight/indigo/pull/20)