Minor tweaks to CI, most importantly installing a prebuilt cargo-careful.

Minor tweaks to CI, most importantly installing a prebuilt cargo-careful. #798