Heads up! Ant precommit disabled

[Enrico Olivelli]

Hi all,
I have disabled the ant based precommit job for pull requests targeting
'master' branch.

A note for committers: most of pending pull requests ran the ant job. You
can ignore it

I will update the wiki

Enrico