`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

PUBLISHED_FROM=192978ebdb0df77c32af8675118c0067f093c0e7

It conflicted with Workspace service

PUBLISHED_FROM=bd891e246bfa4b8f47bcbc6c9f7e4401f5f6e052

Functions decl must follow comment to be correctly documented

PUBLISHED_FROM=6ab035cda470c2c23240db4435abd8c241c71b0d

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=d7b3e083c7a7d5095c8e61bb6183ae7e6e068858

PUBLISHED_FROM=23819ed308aeb8c1d6bdb08f5edd257df458ab38

PUBLISHED_FROM=ebcd95607742a327cc0f453681f576982a8f027d

PUBLISHED_FROM=cd50a664039b4a74cb7d4d08990f415912585f7d

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

PUBLISHED_FROM=9242cce85cc52a47a197d377e7e23804721a6bb5