Auto-stop PR preview machines and fail loudly on cleanup errors#5531

Artur- wants to merge 2 commits into

mainvaadin/docs:mainfrom

pr-cleanupvaadin/docs:pr-cleanupCopy head branch name to clipboard