travis: php 5.6 + hhvm