dockerspawner moved to its own repo