Improved installation instructions

Probably needs `--allow-unverified rbtools` and `--allow-external rbtools` as well...