Moved socket.c, since it needs picotcp headers