A codelens is added which allows all the tracked files in the current repo to be sent to an external remote server for validation. For this feature to be enabled, the -extconfig command line option must be provided, and the -extprofile may optionally be provided to specify the config profile to use. Signed-off-by: Matthew Sackman <matthew@cue.works> Change-Id: Iec6e88df8028b2b7f3794d04d0845d9888d3fbe5 Reviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1233761 Reviewed-by: Roger Peppe <rogpeppe@gmail.com> TryBot-Result: CUEcueckoo <cueckoo@cuelang.org> Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>