Move tools to r20

Change-Id: I3877a7418da193cbe3759f25daafa3309bb8c05a
diff --git a/files/tools_source.properties b/files/tools_source.properties
index a4b2625..515ff6b 100644
--- a/files/tools_source.properties
+++ b/files/tools_source.properties
@@ -1,3 +1,3 @@
 Pkg.UserSrc=false
-Pkg.Revision=19
+Pkg.Revision=20
 Platform.MinPlatformToolsRev=11