Auto-tag merge requests created by git-replay-merge
The target branch is added to the title of the MR, and a "Backport" label is added. If the target branch starts with "v" a version label is added too.
While I am here, clean up remnants of the old gitlab API (which has been replaced by push options for our purposes) and improve the command-line parsing.