Rename release {finish,deliver} to {stage,finish}

This commit is somehow a mess because I had to fix some forgotten flags
that were not being used any more, but I hope this brings it to a less
messy state than before :-)
Finished feature 62704716/rename-release-subcommands.