Remove generated locales from git tree

Now compiled locale files (.mo) are generated on the server side.
This cleans up the git tree and make translation contributions much
easier to merge.

Please note that you will need to generate those files after each pull :
`python3 manage.py compilemessages`

.gitignore

@@ -5,7 +5,7 @@ __pycache__/
 *.swp
 
 # Translations
-#*.mo TODO
+*.mo
 *.pot
 
 # Django stuff

apt_requirements.txt

@@ -17,3 +17,4 @@ libjs-bootstrap
 fonts-font-awesome
 graphviz
 git
+gettext

install_re2o.sh

@@ -316,6 +316,10 @@ update_django() {
     echo "Collecting web frontend statics ..."
     python3 manage.py collectstatic --noinput
     echo "Collecting web frontend statics: Done"
+
+    echo "Generating locales ..."
+    python3 manage.py compilemessages
+    echo "Generating locales: Done"
 }