[aur-requests] [PRQ#8196] Merge Request for python-mbed-tools

NBonaparte [1] filed a request to merge python-mbed-tools [2] into python-mbed-cli [3]: This package seems to be an out-of-date version of python-mbed-cli, as it uses the old address for the mbed-cli repository and was last updated in 2015. [1] https://aur.archlinux.org/account/NBonaparte/ [2] https://aur.archlinux.org/pkgbase/python-mbed-tools/ [3] https://aur.archlinux.org/pkgbase/python-mbed-cli/