Prepare version numbers for next SDK & tools

Change-Id: I8e57df22462ec3e14e0f119b57999c208bb9d1fd
diff --git a/scripts/tools_source.properties b/scripts/tools_source.properties
index f23e52a..b75e326 100644
--- a/scripts/tools_source.properties
+++ b/scripts/tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=3
+Pkg.Revision=4