Nightly build or some level of continuous deployment

[rlaemmel]

cc @johanneshaertel

Just discussing with @sschauss We are not sure yet what is easy and sufficient:

• We could have a nightly build/deploy
• Alternatively, we could use a trigger on the repo.

Anyways, it would be good NOT to depend on a single person deploying.