chore: parameterize deployment scripts over sub-site#705

david-christiansen merged 2 commits intomainleanprover/reference-manual:mainfrom

production-dual-siteleanprover/reference-manual:production-dual-siteCopy head branch name to clipboard