devtools: redo vanadium installation documentation
devtools: redo vanadium installation documentation

MultiPart: 2/3
Change-Id: If90594872dcd4ca57341762b6650769b2600b70c

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools