.zshrc: remove AWS junk

I don't use Amazon AWS APIs anymore.
.zshrc: tighten, add android tools/ platform-tools to PATH
.zshrc: export proper JAVA_HOME