Updated picoTCP support, based on newer HTTPS demo