Build AVD Manager.exe as part of Windows SDK.

Also make sure the sdk manager post install will
update the AVD Manager as required.

Change-Id: I969899adf69f0ed0ddb1ef079451683dd0ce567f
diff --git a/files/post_tools_install.bat b/files/post_tools_install.bat
index 36e3279..287dbc1 100644
--- a/files/post_tools_install.bat
+++ b/files/post_tools_install.bat
@@ -30,9 +30,18 @@
 rem issues with directories containing whitespaces.

 cd /d %~dp0

 

+:Step1

 set src=SDK Manager.exe

 set dst=..\..\%src%

 

+if not exist "%src%" goto Step2

+  echo Updating %src%

+  copy /V /Y "%src%" "%dst%"

+

+:Step2

+set src=AVD Manager.exe

+set dst=..\..\%src%

+

 if not exist "%src%" goto Cleanup

   echo Updating %src%

   copy /V /Y "%src%" "%dst%"