Provide option to use the newly installed toolchain

The `install` command should accept an argument (e.g. `--use`) which will automatically use the new toolchain if installation succeeds. This already happens by default if there are no toolchains installed yet, but this would be very useful in other cases too.