Jenkins plugin to use devenv tool for .NET builds