Cancel multiple pipelines

Cancel several pipelines in one request.

Marks every selected pipeline (and its non-terminal elements) canceled and offloads all running-job terminations to a single background task, avoiding the per-pipeline request loop the frontend used to run.