Don't bother trying to unzip a file named "*.dex".

This avoids a bit of work that would inevitably fail. I also updated
some comments to better reflect the status quo.

Change-Id: I7435ec0abd4d0a8173d61c1f4b894bfafbc6f609