HHVM compatibility work.

- Use `--reportfile` with PHPMD since output to STDOUT appears to be
  broken with HHVM.
- Use INF and NAN as constants rather than trying to synthesize them
  ourselves.
- Skip some JSON tests which are known to be broken on HHVM < 3.3