PUBLISHED_FROM=0e6a1c1a2356c1e12580e498c64ba7be367f601c

PUBLISHED_FROM=9d4ab680fa672690735b827f56e135330f72beed

PUBLISHED_FROM=171b25e15cad2c87eb40a8123fe8ea07e34c41f7

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

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

Closes cesanta/smart.js#119

PUBLISHED_FROM=b912e99d457dbf21b3f8ccc6a51d0990cc3db833

PUBLISHED_FROM=197c9c874ea950aae8f3fd475d2a3ff836d0caab

PUBLISHED_FROM=192978ebdb0df77c32af8675118c0067f093c0e7

It conflicted with Workspace service

PUBLISHED_FROM=bd891e246bfa4b8f47bcbc6c9f7e4401f5f6e052

Now it can talk to backend as well to the demo device: `LCD.AddLine`,
`LED.Set`, `LED.Get`.

PUBLISHED_FROM=40f493cdabe6ad23a6f26a4563366bebb5071529

PUBLISHED_FROM=db9afcafce26d2048b1a5ebc90bcd1c06f555ed8

PUBLISHED_FROM=ebcd95607742a327cc0f453681f576982a8f027d

Comments in headers are changed a bit: removed adoc-specific stuff,
markdown is used instead

PUBLISHED_FROM=9242cce85cc52a47a197d377e7e23804721a6bb5