Quick check that tools are installed before packaging (#599)
Quick check that tools are installed before packaging (#599)


epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless