tcp, pipe, udp: add send_buffer_size and receive_buffer_size

They are rw properties which can be used to adjust the send and receive
buffers respectively.