Modifies auto-build commands to improve performances

[Robb-Fr]

Comportement actuel

L'action "Enseigner (auto-build)" (idem pour "Apprendre (auto-build)") du fichier workspace.code-workspace effectue la commande suivante source .env/bin/activate; kill -9 $(lsof -t -i:8000) 2> /dev/null; sphinx-autobuild src/ens build --watch src --open-browser -a --delay 1

L'option -a, d'après la documentation spinx force la réécriture de tous les fichiers, ce qui rend le build plus long (plusieurs secondes), or je trouve que l'auto-build est plus intéressant avec un build rapide étant donné le relancement du build à chaque modification dans l'éditeur.

Proposition

La PR proposée permet ainsi de réduire le temps de build en utilisant les boutons du workspace en :

• retirant l'option -a, ce qui évite de réécrire des fichiers d'output s'ils ont déjà été écrits et qu'aucune modification n'est nécessaire
• ajoutant l'option -j auto qui permet de paralléliser les tâches du build pour les machines ayant plusieurs core

  Temps de build sur ma machine (MacOS, M1 2020)

  Commande initiale	Commande initiale sans l'option -a	Commande initiale sans l'option -a et avec -j auto
  22s	7s	7s

(sur MacOS, un avertissement prévient que l'option -j auto est désactivée, voir : https://github.com/sphinx-doc/sphinx/issues/6803, ce qui explique les temps identiques. Les utilisateur·trice·s Windows et Linux pourraient toutefois en bénéficier)

[elliotvaucher]

@Robb-Fr : Merci pour la proposition d'amélioration.

J'ai fait le test chez moi et tout fonctionne. Je laisse @redelmann donner aussi son avis, au cas où quelque chose m'échapperait.