Alternative TCPSocket example using an HTTP GET to read a short "helloworld" text web page using a different server

Fork of ARMs demo HTTP socket demo. ARM's server was redirected and the demo was no longer working. An alternative server was setup and the code was modified to display the web page text in addition to just "200 OK". Only works for a very short web page - buffer only 500 characters but RAM is running out on the LPC1768 in the demo!

--- a/main.cpp	Thu Jan 19 11:46:10 2017 -0600
+++ b/main.cpp	Fri Feb 17 16:32:24 2017 +0000
@@ -17,10 +17,10 @@
     // Open a socket on the network interface, and create a TCP connection to
     TCPSocket socket;;
-    socket.connect("", 80);
+    socket.connect("", 80);
     // Send a simple http request
-    char sbuffer[] = "GET / HTTP/1.1\r\nHost:\r\n\r\n";
+    char sbuffer[] = "GET / HTTP/1.1\r\nHost:\r\n\r\n";
     int scount = socket.send(sbuffer, sizeof sbuffer);
     printf("sent %d [%.*s]\n", scount, strstr(sbuffer, "\r\n")-sbuffer, sbuffer);