devtools/v23: only build static LevelDB library as part of the v23 profile setup
devtools/v23: only build static LevelDB library as part of the v23
profile setup

MultiPart: 1/2
Change-Id: Ic3880c3aa12669d1fad0a81efd0fa8a4dca78284

vanadium/go.jiri,vanadium/go.jiri