interface documentation is now dynamically generated by the "builddoc.lua"
script, with the description files located in doc/arch_platform/*.lua directory.
The same script will be used to generate the reference manual and ultimately
will be modified to generate a different format of the reference manual,
suitable for embedding directly into eLua (thus providing on-line help).
To generate the platform interface documentation, simply execute the
"build_all_docs.sh" script from the doc/ directory.
