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` properties, but we currently only require 1.7.0.

Review by @JamesIry