[spatch] adhoc transfo for ptc

Test Plan:
~/pfff/spatch -array_to_int_array array_to_int_array.spec
--- /data/users/pad/github/pfff/tests/php/spatch/array_to_int_array.php	2014-06-16 14:35:39.348887771 -0700
+++ /tmp/trans-6293-c7e8e0.php	2014-06-16 14:39:53.560185005 -0700
@@ -1,7 +1,7 @@
 <?php

 function test() {
-  $do = array(
+  $do = int_map_array(
     1, 2
   );
   $donot = array(

Reviewers: ptc

Reviewed By: ptc

Subscribers: pieter

Differential Revision: https://phabricator.fb.com/D1385773
[pfff] switch to 4.01

Summary:
Mathieu clang plugins uses some recent OCaml extensions (ambiguous fields)
and I want to interface with his code, so I need to bump the compiler
we use on our devbox.

Test Plan:
./configure
make

Reviewers: mathieubaudet, avik, pieter

Subscribers: jwatzman

Differential Revision: https://phabricator.fb.com/D1396163
Merge branch 'master' of github.com:facebook/pfff