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,
so remember to execute install_re2o.sh.

.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"
 }