Infrastructure

Our infrastructure. This includes build server infra, services provided to users, etc.

You can file bugs/feature-requests against it here, and we should keep documentation for it in here too.

Continuous integration

nicoo is configuring a hosted Jenkins instance.