Note: this is only the first step; the C sources won't be built until
the second step is done.

The actual build takes about 1.3s on cloud2 which still runs the docker
containers and image layers on the very slow spinning disk. cloud3 has
docker mounted on the SSD disk; measured speedups of 20-30%

PUBLISHED_FROM=c5acef1d64ebc8dca8ed31f51685c8b3090c5767

PUBLISHED_FROM=de348f944de60d116d9d1f5d18e920991c811fa8

PUBLISHED_FROM=da1faa9b46cd0ff22dcba6d324b5847c4a0d42d8

PUBLISHED_FROM=73540bf103672916eae35959d5e992a3616a6604

Do not use CA bundle on CC3200, it doesn't work.
Make ssl_ca_cert = "*" mean "no verification" and make sure
SSL is enabled on the connection when it's required, even w/o verification.

PUBLISHED_FROM=c8710a5d24ecfe174ef45b7f81c114d41faf5c12

PUBLISHED_FROM=0e6a1c1a2356c1e12580e498c64ba7be367f601c

PUBLISHED_FROM=89b978c02be2f10eb930ff13673d45249fd67763

PUBLISHED_FROM=9d4ab680fa672690735b827f56e135330f72beed

PUBLISHED_FROM=171b25e15cad2c87eb40a8123fe8ea07e34c41f7

SimpleLink sockets are suffciently different from BSD that all the
ifdefs have become too messy to warrant a separate net_if
implementation. As part of this we also implement proper async connect
support.

Added MG_F_SSL to identify SSL-enabled connections in a generic way,
since SSL state can be different depending on the implementation.

PUBLISHED_FROM=9cdb8c880b90683e4a26b972cf439d47d6f60917

SL requires cert and key to be separate files in DER format.

Date verification is disabled for now.

PUBLISHED_FROM=7d76150ed356140728a1e5fd82d8a0456347b7dc

PUBLISHED_FROM=f8e052f1a256f671de133135901b509d39608a82

PUBLISHED_FROM=309be4a56754250406dd48f1abd30b68776f5c7e

`v7_mk_undefined()` and `v7_mk_null()` are left unchanged, but marked
deprecated, and `V7_UNDEFINED` and `V7_NULL` are public now.

Xtensa code size with instrumentation: 590400 -> 590432, i.e. 32 bytes.
Xtensa code size without instrumentation: 530848 -> 531760, i.e. 912
bytes.

As objdump reveals, inside v7.c, `v7_mk_number` and others are inlined,
so the extra v7 argument is eliminated; outside of v7.c it's obviously
not inlined.

----

Also, v7_get_int() is added, which currently just casts stored double
value to int

PUBLISHED_FROM=e984b7308faf2380b3de388f238e0fae0aea545d

PUBLISHED_FROM=f00b94cabc2a89d27d5bc78d68d67db0930811b4

It would be probably good idea to also remove tools/docgen.py and
asciidoc.mk, but asciidoc.mk is still mentioned under `cloud/doc`, which
may contain some useful info which we'll need at least to review before
removing.

PUBLISHED_FROM=faf454d4c52a2f07ea8ac084cf0bd11a0c9c9b3b

Until I read the doc and find how to limit the retention,
otherwise it just eats all my ram and cpu and things start to fall
apart.

PUBLISHED_FROM=eb33fb44736f07b992270689217aca4af70513ff

PUBLISHED_FROM=69dc2fadfa0aad32290bd676331b57d0b5595c60

PUBLISHED_FROM=302ebfe7d711602e75c8db4bc843b0d52a382542

PUBLISHED_FROM=274bff744d9c3d12285f026d21c1c776946fae20

PUBLISHED_FROM=1ab69ecfbd03ad3eef82ef785474744e5b5b2e4d

PUBLISHED_FROM=688b64acb8c87e3cd78c79ee2b7667378d697cd8

In particular, there may be additional records which should not be copied

PUBLISHED_FROM=6b348868cb62d7b3fc4df0e935ffd5a31a314a08

Closes cesanta/smart.js#119

PUBLISHED_FROM=b912e99d457dbf21b3f8ccc6a51d0990cc3db833

PUBLISHED_FROM=197c9c874ea950aae8f3fd475d2a3ff836d0caab