Travis to run benchmarks on HHVM/1000

Running benchmarks for a 1000 page load takes about 8 min to complete on Zend
therefore using HHVM which just takes about 3 min.
Merge pull request #522 from SemanticMediaWiki/travis

Travis to run benchmarks on HHVM/1000