Upgrade demo server

Demo server is a server close to production environment. It may be usefull to test your work on it, as github pages is a simple file server.

Here is the script to upgrade demo server :

# Login to demo server
ssh root@demo0.exoscale.infra.camptocamp.org 
cd /root/docker-stuff/composition/demov6/

# Pull down images updates
docker pull c2corg/c2c_ui:latest # or whatever image is listed on https://hub.docker.com/r/c2corg/c2c_ui/tags/

# Stop & start everything:
docker-compose stop && docker-compose rm -f
docker-compose up -d

# Make sure everything is up and running:
docker-compose ps
```bash