fix the installation of Rust in the CI

!39 (merged) and !40 (merged) changed the CI to use a toolchain file.

however, having default as the $.profile causes extra useless components to be installed.

this MR sets the $.profile to minimal in the toolchain file and the $.components to rustfmt and clippy.