export de labdocs en CSV

Après connexion en tant qu'enseignant, la nouvelle page est à l'adresse /authoring_tools/export-labdocs.php.

L'interface est pour le moment minimale, elle n'indique pas s'il y a des labdocs non-vides par les étudiants.

Closes #63 (closed)