Fixed read() so it can do partial reads, is more efficient (direct buffer copy instead of multiple read() executions), peek() fixed, WiFiUdp also received these changes.
Merge pull request #431 from energia/issue_431

CC3200 - WiFiClient available() blocks