devtools/v23: better prompt for label changes in "v23 cl mail".
devtools/v23: better prompt for label changes in "v23 cl mail".

Change-Id: I85f35562e4e7cec1b53c0d315d43988b42e958af

vanadium/go.jiri,vanadium/go.jiri