Use versioned android-sdk and apache-ant.

This prevents a potential problem where, if we used newer versions of
those packages, the old versions would hang around and keep the newer
ones from installing.