Update manifests/platform_tools.pp

fix for installing android tools