Mettre à jour Domino-ui

La version 1.0.7 est parue le 4 septembre.

Mettre aussi à jour la page Crédits de la documentation.