CI: Use new cargo rmbt tool#883

tcharding wants to merge 6 commits intorust-bitcoin:masterrust-bitcoin/rust-miniscript:masterfrom

tcharding:push-zktvwmtnuzlotcharding/rust-miniscript:push-zktvwmtnuzloCopy head branch name to clipboard