Modification du script develop_server.sh

Created by: cortexx

Hello,

Après avoir jouer un peu avec le site en local, je me suis dit que modifer un peu le script qui permet d'administrer le serveur de développement pourrait être une bonne première contribution au projet Duniter.

Du coup, voici ce que j'ai fait pour commencer :

• Ajout de la fonction check_venv pour stopper l'exécution du script en dehors du virtualenv Python
• Amélioration de la gestion des arguments
• Exécution de l'analyseur statique de code "shellcheck" et mise à jour du script pour prendre en compte les alertes remontées
• Ajout de quelques commentaires pour que le tout soit plus clair

Je ne suis pas un grand développeur donc si certaines de mes modifications ne sont pas correctes, je suis OK pour les reprendre :)

Je suis joignable via la chat room au cas où !

Joël