chore: add manual backport instructions to readme#594

ashandoak wants to merge 2 commits intomainleanprover/reference-manual:mainfrom

ash/manual-backport-instructionsleanprover/reference-manual:ash/manual-backport-instructionsCopy head branch name to clipboard