Merge "v.io/jiri: remove support for old style profiles"