Fixed the Travis setup for HHVM
minor #9999 Fixed the Travis setup for HHVM (stof)

This PR was squashed before being merged into the 2.3 branch (closes #9999).

Discussion
----------

Fixed the Travis setup for HHVM

| Q             | A
| ------------- | ---
| Bug fix?      | no
| New feature?  | no
| BC breaks?    | no
| Deprecations? | no
| Tests pass?   | yes
| Fixed tickets |
| License       | MIT
| Doc PR        | -

this replaces #9997 with a proper fix: fixing the cause of the issue instead of adding workarounds for it

"php -r" does not seem to behave properly in HHVM, so the check to detect HHVM has been switch to a check on the environment variable set by Travis.

Commits
-------

67d4959 Fixed the Travis setup for HHVM
[Console] Fixed the compatibility with HHVM
bug #10000 [Console] Fixed the compatibility with HHVM (stof)

This PR was squashed before being merged into the 2.3 branch (closes #10000).

Discussion
----------

[Console] Fixed the compatibility with HHVM

| Q             | A
| ------------- | ---
| Bug fix?      | yes
| New feature?  | no
| BC breaks?    | no
| Deprecations? | no
| Tests pass?   | yes
| Fixed tickets |
| License       | MIT
| Doc PR        | -

The only failures in the Console testsuite were due to facebook/hhvm#1327, and a workaround for this issue is easy.

This PR currently includes #9999 in it, to have a working HHVM build on Travis.

Commits
-------

ac1ba81 [Console] Fixed the compatibility with HHVM