travis: php 5.6 + HHVM