HTTPS support on Pico!

It's still early VERY days, but it's now possible to:

• Check out the HTTPS branch on GitHub
  
• build and flash with make clean;PICO_1V3=1 WIZNET=1 USE_HTTPS=1 make serialflash
  
  

then...

SPI2.setup({ mosi:B15, miso:B14, sck:B13 });
var eth = require("WIZnet").connect(SPI2, B10);
eth.setIP(); // DHCP
require("http").get("https://www.google.com", function(res) {
  res.on('data', function(data) { console.log(data);    });
});

HTTPS support works on:

• Linux, Raspberry Pi, OpenWRT stuff
  
• Pico with WIZnet ethernet
  
  

There are some big issues:

• There's no cleanup, so you can only do a single HTTPS request before it fails right now
  
• You can only do one HTTPS request at once
  
• The network API needs reworking to allow nonblocking connect and name resolution before ESP8266 (AT or native)/CC3000/etc will work. But when that's done, it'll solve a few other problems too!
  
  

This uses a lot of code space, and realistically it's not going to fit on the Original Espruino board unless you're happy using the extra flash memory that isn't supposed to exist (but does).