Declarative configuration of personal servers, their provisioning and their
infrastructure.