Add note that mbed-cli is needed for building mbed OS; update link to the docs to point to the latest version.