Improve build script

Moulrequested to merge
build_script_enh into dev
  • Cosmetic improvements
  • Do not install rustup whether Rust is already installed by the distribution package manager
  • Use command -v to know if an executable is present in the PATH

Merge request reports