let installable_tool ~url
?(install_program = fun ~path -> noop)
?(init_program = fun ~path -> noop)
~witness
?unarchived_directory
tool_definition =
{tool_definition; url; install_program;
init_program; witness; unarchived_directory}