Update INSTALL

Ant 1.8.0 throws an error, but 1.9.3 works fine. I listed 1.9.0 as most likely the right version.
Merge remote-tracking branch 'origin/patch-1'