Fix travis build

Fixes some problems with the Travis build concerning redis and hhvm.
I'm talking about what you do inside the PHP version check. The check itself is indeed necessary to avoid doing it on hhvm