Reduce duplication and increase verbosity in MiMa execution.

This helps to see whether we've broken forward or backward
binary compatibility.

Further duplication could be eradicated with Ant 1.8.0 [`local`](http://ant.apache.org/manual/Tasks/local.html) properties, but we currently only require 1.7.0.

Review by @JamesIry