Fix travis build

Fixes some problems with the Travis build concerning redis and hhvm.