tools.deploy: adding a configurable deploy-directory.