phplint builder now uses git-changed-in-head

The phplint macro relied on the old ant build script. Its main feature
was merely to find modified php/php5/inc/phtml files in HEAD.

The git-changed-in-head is way nicer to find those changes.

Change-Id: I1eddacb044e4c614c3051bafe5797a3b96085f49