Tweaks to update.py

Adjust the update script to auto-download mac builds of veridex. Also
remove unziped linux binaries and only keep veridex-linux.zip.
hiddenapi-flags.csv is still being extracted. Also remove repo.prop
which we cannot publish from internal builds.

Test: manual
Change-Id: I724501aa0c9aff303b811749bc465b9a9c54b119
6 files changed
tree: fbbaf65e08ca5c31cdaf0c10341c1b6192afab83
  1. appcompat/
  2. common/
  3. adb
  4. Android.mk