devtools: fixing accidental sharing of context options across multiple contexts
devtools: fixing accidental sharing of context options across multiple
contexts

Change-Id: I8d5d75bd1e0b89a482030f74088c0a5d618e1ea7

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