Rename the cof/ folder to gestioasso/

This is a much more sensible name since it contains configuration
applicable to both GestioCOF and GestioBDS.

The next logical step would be to rename the `gestioncof/` folder to
`cof/`.

gestioasso/settings/bds_prod.py

@@ -0,0 +1,36 @@
+"""
+Django development settings for the cof project.
+The settings that are not listed here are imported from .common
+"""
+from .common import *  # NOQA
+from .common import INSTALLED_APPS
+
+# ---
+# BDS-only Django settings
+# ---
+
+ALLOWED_HOSTS = ["bds.ens.fr", "www.bds.ens.fr", "dev.cof.ens.fr"]
+
+INSTALLED_APPS += ["bds", "events", "clubs", "authens"]
+
+STATIC_ROOT = "/srv/bds.ens.fr/public/gestion2/static"
+STATIC_URL = "/gestion2/static/"
+MEDIA_ROOT = "/srv/bds.ens.fr/gestion2/media"
+MEDIA_URL = "/gestion2/media/"
+
+
+# ---
+# Auth-related stuff
+# ---
+
+AUTHENTICATION_BACKENDS = [
+    "django.contrib.auth.backends.ModelBackend",
+    "authens.backends.ENSCASBackend",
+    "authens.backends.OldCASBackend",
+]
+
+AUTHENS_USE_OLDCAS = False
+
+LOGIN_URL = "authens:login"
+LOGIN_REDIRECT_URL = "bds:home"
+LOGOUT_REDIRECT_URL = "bds:home"