Add separate pushtools.sh batch file for my build tools

Change-Id: I22785e18e059081c96a0833ebc1ad965c9267171