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