run.zedboard now fetches android_exe and mkTop.xdevcfg.bin.gz from BUILDBOT_URL if BUILDBOT_BUILD is defined

Change-Id: Ie6e184bdc21a6e0db4dc609857a00f9432e5d832