Turn off LWIP_SO_RCVTIMEO
Turn off LWIP_SO_RCVTIMEO

We no longer use the receive timeout option in lwIP, so disable it to
save a small amount of ROM+RAM.

mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed