Function install_from_cli 

pub fn install_from_cli(args: &[String]) -> bool

The --from form of lean-ctx cockpit install (args follow install); false when the arguments do not name one, so the caller installs from the channel. Exits non-zero on failure.