v.io/x/devtools/v23: fix android profile install and add uninstall
v.io/x/devtools/v23: fix android profile install and add uninstall

Change-Id: Ida14741c37d11578ed5c0ab75b1feb975da4a257

vanadium/go.jiri,vanadium/go.jiri