* COMMON_pervasives.forever: Fix documentation.
* HTML_autotest.test_entry: Fix comments.
* COMMON_pervasives: Provide standard function combinators.
* CORE_autotest, HTML_autotest:
   Distinguish static description from dynamic description of tests.
* HTML interface: Beautify enough.
* CORE_vfs: New. Seed for a versioned file system.
* CORE_autotest: Remove garbage.