todos: v.io/x/devtools: start to use profile-v23
todos: v.io/x/devtools: start to use profile-v23

Switch jiri test and hence all checked in
references to use jiri profile vs jiri v23-profile.

MultiPart: 14/16

Change-Id: I6926d9b86d9304d9c360b547e169b30c22944314

vanadium/todos