* I18N:
  Split the interface into two files to factorize the module
  type declaration.
* COMMON_pervasives.MapProduct:
  A GADT to work with shape polymorphic function.
* HTML_reactive:
  Generalize [async_elt] to [async_elts] by making async_elt polymorphic
  with respect to the size of the product.
* CORE_autotest: Add a new dummy test.
* HTML_autotest:
  Show all the reports in a table/
  Provide a button to launch all the tests.